Search results for "deductive databases"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Hendrik Decker	Abduction for Knowledge Assimilation in Deductive Databases. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	integrity maintenance, knowledge assimilation, SLDAI, SLD-based proof procedure, update request, hypothetical fact insertions, hypothetical fact deletions, base predicates, abductive logic programming, deductive databases, deductive databases, abduction
3	C. A. Johnson	Computing Only Minimal Answers in Disjunctive Deductive Databases.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation
3	Andreas Behrend	A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases.	ADBIS	2007	DBLP DOI BibTeX RDF	Deductive Databases, View Updating, Disjunctive Datalog
3	C. A. Johnson	Top-Down Query Processing in First-Order Deductive Databases under the DWFS.	J. Autom. Reasoning	2004	DBLP DOI BibTeX RDF	top-down query processing, disjunctive well-founded semantics, deductive databases
3	Hasan M. Jamil, Gillian Dobbie	A Model Theoretic Semantics for Multi-level Secure Deductive Databases.	ICLP	2002	DBLP DOI BibTeX RDF	MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness
3	Laks V. S. Lakshmanan, Nematollaah Shiri	A Parametric Approach to Deductive Databases with Uncertainty.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	Conjunctive query containment, fixpoint computation, semantics, uncertainty, query optimization, deductive databases, proof theory, multisets
3	Peter A. Flach	From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
3	Hendrik Decker	Some Notes on Knowledge Assimilation in Deductive Databases.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
3	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Implementing Deductive Databases by Mixed Integer Programming.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	negation and disjunction in deductive databases, minimal models
3	Weidong Chen	Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	alternating fixpoint, deductive databases, query evaluations, negation, predicate logic, SLG resolution
3	Rajiv Bagai, Rajshekhar Sunderraman	Algebraic Computation of the Well-Founded Model for General Deductive Databases.	BNCOD	1994	DBLP DOI BibTeX RDF	Weak well-founded semantics, Deductive databases, Negation
3	Saso Dzeroski, Nada Lavrac	Inductive Learning in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	single extensional relation, LINUS, inductive logic programming system, virtual relations, negative tuples, attribute-value form, attribute-value learning systems, real-life noisy databases, deductive DBMS, learning (artificial intelligence), logic programming, database theory, deductive databases, deductive databases, inductive learning, noisy data
3	Stefano Ceri, Letizia Tanca	Bridging Objects with Logical Rules: Towards Object Oriented Deductive Databases.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
3	Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han	Classification and Compilation of Linear Recursive Queries in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	linear recursive queries, I-graph, resolution graph, query evaluation plan, query compilation, query processing, query languages, deductive databases, deductive databases, graph model
3	Timo Niemi, Kalervo Järvelin	Prolog-Based Meta-Rules For Relational Database Representation and Manipulation.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	Prolog-based meta-rules, relational database representation, Prolog-based experimental system, well-defined environment, relational databases, knowledge based systems, PROLOG, query optimization, database theory, deductive databases, deductive databases, database design, theoretical foundations, data restructuring
3	Michael Kifer, Eliezer L. Lozinskii	On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF	recursive rules, filtering, projection, selection, inference, deductive databases, dataflow, graph representation, fixpoint
3	Teodor C. Przymusinski	On the Declarative Semantics of Deductive Databases and Logic Programs.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP BibTeX RDF
3	Upen S. Chakravarthy, John Grant, Jack Minker	Foundations of Semantic Query Optimization for Deductive Databases	Foundations of Deductive Databases and Logic Programming.	1988	DBLP BibTeX RDF
3	Lawrence J. Henschen, Hyung-Sik Park	Compiling the GCWA in Indefinite Deductive Databases.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP BibTeX RDF
3	James A. Thom, Kotagiri Ramamohanarao, Lee Naish	A Superjoin Algorithm for Deductive Databases.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP BibTeX RDF
2		Deductive Databases.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Andreas Behrend, Rainer Manthey	A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases.	FoIKS	2008	DBLP DOI BibTeX RDF
2	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via Jones-optimal logic program specialisation.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming
2	Luciano Caroprese, Cristian Molinaro, Ester Zumpano	Integrating and Querying P2P Deductive Databases.	IDEAS	2006	DBLP DOI BibTeX RDF
2	Rodolfo Sabás Gómez, Juan Carlos Augusto	Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Temporal deductive databases, Temporal relational databases, Knowledge representation, Temporal logic
2	Andreas Behrend	Optimizing existential queries in stratifiable deductive databases.	SAC	2005	DBLP DOI BibTeX RDF	existential query, datalog, recursion, magic sets
2	Linh Anh Nguyen	On Modal Deductive Databases.	ADBIS	2005	DBLP DOI BibTeX RDF
2	Andreas Behrend, Rainer Manthey	Update Propagation in Deductive Databases Using Soft Stratification.	ADBIS	2004	DBLP DOI BibTeX RDF
2	José Oscar Olmedo-Aguirre, Karina Escobar-Vázquez, Giner Alor-Hernández, Guillermo Morales-Luna	ADM: An Active Deductive XML Database System.	MICAI	2004	DBLP DOI BibTeX RDF	XML, Semantic Web, Deductive Databases, Active Databases
2	Hasan M. Jamil, Gillian Dobbie	On Logical Foundations of Multilevel Secure Databases.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness
2	Andreas Behrend	Soft stratification for magic set based query evaluation in deductive databases.	PODS	2003	DBLP DOI BibTeX RDF	Datalog
2	Steve Barker	Access Control for Deductive Databases by Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
2	Yann Loyer, Umberto Straccia	Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.	JELIA	2002	DBLP DOI BibTeX RDF
2	Francesca Arcelli Fontana	Likelog for flexible query answering.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Similarity, Deductive databases, Query answering, Fuzzy logic programming
2	Steve Barker	Secure Deductive Databases.	PADL	2001	DBLP DOI BibTeX RDF
2	Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis	A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.	LOPSTR	2001	DBLP DOI BibTeX RDF	Logic Program Transformations, Deductive Databases
2	Seung Jin Lim, Yiu-Kai Ng	A Hybrid Fragmentation Approach for Distributed Deductive Database Systems.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Hybrid fragmentation, Vertical fragmentation, Distributed systems, Deductive databases, Horizontal fragmentation
2	C. A. Johnson	Top-Down Query Processing in First Order Deductive Databases under the DWFS.	ISMIS	2000	DBLP BibTeX RDF
2	Dietmar Seipel	Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.	FoIKS	2000	DBLP DOI BibTeX RDF
2	Mengchi Liu	Extending Datalog with Deductive Databases.	DEXA	2000	DBLP DOI BibTeX RDF
2	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Hypothesis Support for Information Integration in Four-Valued Logics.	IFIP TCS	2000	DBLP DOI BibTeX RDF	deductive databases and knowledge bases, information integration, inconsistency, logics of knowledge, four-valued logic
2	Hasan M. Jamil	Belief Reasoning in MLS Deductive Databases.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF	MLS database, beleif assertion, inheritance and overriding, reasoning, Datalog, deductive databases, CORAL
2	Mengchi Liu	Deductive Database Languages: Problems and Solutions.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	complex object databases, nested relational databases, logic programming, object-oriented databases, inheritance, deductive databases
2	Georg Lausen, Bertram Ludäscher, Wolfgang May	On Active Deductive Databases: The Statelog Approach.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
2	Jordi Puigsegur, Jaume Agustí-Cullell, Joan Antoni Pastor	Towards Visual Schemas in Deductive Databases.	DEXA	1998	DBLP DOI BibTeX RDF
2	Sarah Mallet, Mireille Ducassé	Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.	LOPSTR	1998	DBLP DOI BibTeX RDF
2	Anthony J. Bonner, Michael Kifer	Results on Reasoning about Updates in Transaction Logic.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
2	Anthony J. Bonner, Michael Kifer	The State of Change: A Survey.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
2	Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà	Active-U-Datalog: Integrating Active Rules in a Logical Update Language.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
2	Xiaoyong Du, Zhibin Liu, Naohiro Ishii	A New Factoring Algorithm for Magic Predicates.	ASIAN	1998	DBLP DOI BibTeX RDF	query optimization, deductive databases, factoring, magic sets
2	Luigi Palopoli, Riccardo Torlone	Generalized Production Rules as a Basis for Integrating Active and Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	semantics of rule systems, integration of database languages, query languages, deductive databases, Active databases, complex objects
2	Danilo Montesi, Elisa Bertino, Maurizio Martelli	Transactions and Updates in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	semantics, transactions, deductive databases, updates, Database languages
2	Lihui Xu, Alexandra Poulovassilis	A Method for Integrating Deductive Databases.	BNCOD	1997	DBLP DOI BibTeX RDF
2	Dolors Costal, Antoni Olivé	Planning Based on View Updating in Deductive Databases.	ISMIS	1997	DBLP DOI BibTeX RDF
2	Luca Chittaro, Carlo Combi	Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus.	ARTDB	1997	DBLP DOI BibTeX RDF
2	Kamel Barkaoui, Yasmina Maïzi	Efficient Answer Extraction of Deductive Databases Modeled by HLPN.	DEXA	1997	DBLP DOI BibTeX RDF
2	Dietmar Seipel	Partial Evidential Stable Models for Disjunctive Deductive Databases.	LPKR	1997	DBLP DOI BibTeX RDF
2	Kenneth A. Ross	Tail Recursion Elimination in Deductive Databases.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	query optimization, deductive databases, magic sets, tail recursion
2	Thomas Eiter, Nicola Leone, Domenico Saccà	Partial Semantics for Disjunctive Deductive Databases.	DEXA	1996	DBLP DOI BibTeX RDF
2	Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian	Foundations of Secure Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	secure databases, logic programming, computer security, Deductive databases
2	Sang Ho Lee, Lawrence J. Henschen	Evaluation of Recursive Queries with Extended Rules in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	extended rules, query processing, DBMS, Deductive databases, automated reasoning, recursive queries
2	Ernest Teniente	An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
2	Günther Specht, Stefan Seeberger	Montague Grammars for Deductive Databases.	DOOD	1995	DBLP DOI BibTeX RDF
2	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.	J. ACM	1994	DBLP DOI BibTeX RDF	logic programming, deductive databases, nonmonotonic reasoning, operations research
2	Burkhard Freitag	Representing Objects as Modules in Deductive Databases.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
2	Carlo Zaniolo, Reza Sadri	A Simple Model for Active Rules and their Behavior in Deductive Databases.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
2	Kenneth A. Ross	Constraint Stratification in Deductive Databases.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
2	Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos	Passive and Active Rules in Deductive Databases.	MFCS	1994	DBLP DOI BibTeX RDF
2	Laks V. S. Lakshmanan, Fereidoon Sadri	Modeling Uncertainty in Deductive Databases.	DEXA	1994	DBLP DOI BibTeX RDF
2	Sin Yeung Lee, Tok Wang Ling	Improving Integrity Constraint Checking for Stratified Deductive Databases.	DEXA	1994	DBLP DOI BibTeX RDF
2	Dimitra Vista	View maintenance in relational and deductive databases by incremental query evaluation.	CASCON	1994	DBLP DOI BibTeX RDF
2	Won S. Lee, Phillip C.-Y. Sheu	An Object-Oriented Query Evaluation Scheme for Logical Databases in Massively Parallel Environment.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	object-oriented query evaluation scheme, massively parallel environment, object-based representation, parallel matching approach, interpretive method, parallel programming, knowledge based systems, distributed databases, object-oriented databases, deductive databases, deductive databases, data dependency, conjunctive queries, shared variables, AND-parallelism, parallel evaluation, logical databases, logical representations
2	Carlo Zaniolo	On the Unification of Active Databases and Deductive databases.	BNCOD	1993	DBLP DOI BibTeX RDF
2	Rajshekhar Sunderraman	Deductive Databases with Conditional Facts.	BNCOD	1993	DBLP DOI BibTeX RDF
2	Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori	Taxonomic Reasoning with Cycles in LOGIDATA+.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Paolo Atzeni, Filippo Cacace, Stefano Ceri, Letizia Tanca	The LOGIDATA+ Model.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati	Prototypes in the LOGIDATA+ Project.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori, Alessandro Artale, Francesca Cesarini, Giovanni Soda	Taxonomic Reasoning in LOGIDATA+.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Paolo Atzeni	LOGIDATA+: Overview.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca, Letizia Tanca	The LOGIDATA+ Language and Semantics.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Umberto Nanni, Silvio Salza, Mario Terranova	LOA: The LOGIDATA+ Object Algebra.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Nicola Leone, Massimo Romeo, Pasquale Rullo, Domenico Saccà	Effective Implementation of Negation in Database Logic Query Languages.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Sergio Greco, Massimo Romeo, Domenico Saccà	Evaluation of Negative Logic Programs.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Luca Cabibbo, Giansalvatore Mecca	Travel Agency: A LOGIDATA+ Application.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Annalina Fabrizio, Maurizio Capaccioli, Sandra Valeri	Modules in Logic Programming: A Framework for Knowledge Management.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Anna Formica, Michele Missikoff	Modeling Semantic Interity Contraints in Object-Oriented Database Schemas.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Umberto Nanni, Silvio Salza, Mario Terranova	The LOGIDATA+ Prototype System.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Luigi Palopoli, Riccardo Torlone	Management of Extended Update Operations.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Alessandro Artale, Francesca Cesarini, Giovanni Soda	Introducing Taxonomic Reasoning in LOGIDATA+.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Marco Lugli, Luca Nini, Stefano Ceri	MOOD*: An Architecture for Object Oriented Access to a Relational Data Base.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
2	Francesco Bergadano	Inductive Database Relations.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	inductive database relations, interdependent relations, recursive relations, intentional information, virtual relations, logic programming, relational databases, database theory, deductive databases, deductive databases, views, inductive logic programming, top-down methods
2	Zahidul A. Khandaker, José Alberto Fernández, Jack Minker	A Tractable Class of Disjunctive Deductive Databases.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
2	Terry Gaasterland	Coherent Cooperative Answers in Deductive Databases.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
2	José Alberto Fernández, Jack Minker	Disjunctive Deductive Databases.	LPAR	1992	DBLP DOI BibTeX RDF
2	Jiawei Han	Compilation-Based List Processing in Deductive Databases.	EDBT	1992	DBLP DOI BibTeX RDF
2	Ernest Teniente, Antoni Olivé	The Events Method for View Updating in Deductive Databases.	EDBT	1992	DBLP DOI BibTeX RDF
2	José Alberto Fernández, Jack Minker	Semantics of Disjunctive Deductive Databases.	ICDT	1992	DBLP DOI BibTeX RDF
2	Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian	Declarative Foundations of Secure Deductive Databases.	ICDT	1992	DBLP DOI BibTeX RDF
2	Kenneth A. Ross, Yehoshua Sagiv	Monotonic Aggregation in Deductive Databases.	PODS	1992	DBLP DOI BibTeX RDF
2	Raymond T. Ng, V. S. Subrahmanian	Stable Model Semantics for Probabilistic Deductive Databases.	ISMIS	1991	DBLP DOI BibTeX RDF