Deductive databases, datalog bibliography

1997

 * Association Rules over Interval Data. Ren&eacute;e J. Miller, Yuping Yang. ACM SIGMOD Conference 1997. (rule management)
 * Eliminating Costly Redundant Computations from SQL Trigger Executions. Fran&ccedil;ois Llirbat, Fran&ccedil;oise Fabret, Eric Simon. ACM SIGMOD Conference 1997. (rule management)
 * Temporal Aggregation in Active Database Rules. Iakovos Motakis, Carlo Zaniolo. ACM SIGMOD Conference 1997. (rule management)

1996

 * Managing Rule Conflicts in an Active Database. H. V. Jagadish, Alberto O. Mendelzon, Inderpal Singh Mumick. PODS 1996. (rules and mining)
 * Mining Optimized Association Rules for Numeric Attributes. Takeshi Fukuda, Yasuhiko Morimoto, Shinichi Morishita, Takeshi Tokuyama. PODS 1996. (rules and mining)
 * Static Analysis of Intensional Databases in U-Datalog. Elisa Bertino, Barbara Catania. PODS 1996. (rules and mining)

1995

 * Magic Factoring of Closure Programs. Peter T. Wood. PODS 1995. (datalog)
 * Semantic Query Optimization in Datalog Programs. Alon Y. Levy, Yehoshua Sagiv. PODS 1995. (datalog)
 * Structural Totality and Constraint Stratification. Kenneth A. Ross. PODS 1995. (datalog)

1994

 * A Performance Study of Transitive Closure Algorithms. Shaul Dar, Raghu Ramakrishnan. ACM SIGMOD Conference 1994. (deductive databases)
 * An Algebraic Approach to Rule Analysis in Expert Database Systems. Elena Baralis, Jennifer Widom. VLDB 1994. (deduction and rules)
 * An Effective Deductive Object-Oriented Database Through Language Integration. Maria L. Barja, Norman W. Paton, Alvaro A. A. Fernandes, M. Howard Williams, Andrew Dinn. VLDB 1994. (deduction and rules)
 * Bounded Arity Datalog (!=) Queries on Graphs. Foto N. Afrati. PODS 1994. (datalog)
 * Can Datalog be Approximated. Surajit Chaudhuri, Phokion G. Kolaitis. PODS 1994. (datalog)
 * Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. Matilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker. ICDE 1994. (knowledge bases and rule processing)
 * Discovering Database Summaries through Refinements of Fuzzy Hypotheses. Doheon Lee, Myoung-Ho Kim. ICDE 1994. (knowledge bases and rule processing)
 * Fast Algorithms for Mining Association Rules in Large Databases. Rakesh Agrawal, Ramakrishnan Srikant. VLDB 1994. (deduction and rules)
 * On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. Surajit Chaudhuri, Moshe Y. Vardi. PODS 1994. (datalog)
 * On the Interaction Between ISA and Cardinality Constraints. Diego Calvanese, Maurizio Lenzerini. ICDE 1994. (knowledge bases and rule processing)
 * XSB as an Efficient Deductive Database Engine. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren. ACM SIGMOD Conference 1994. (deductive databases)

1993

 * A Bottom-up Query Evaluation Method for Stratified Databases. Yangjun Chen. ICDE 1993. (deductive db implementation)
 * A Deductive and Object-Oriented Database System: Why and How. Laurent Vieille. ACM SIGMOD Conference 1993. (industrial, intelligent and deductive databases)
 * Complexity Aspects of Various Semantics for Disjunctive Databases. Thomas Eiter, Georg Gottlob. PODS 1993. (generalized logic programs)
 * Coral++: Adding Object-Orientation to a Logic Database Language. Divesh Srivastava, Raghu Ramakrishnan, Praveen Seshadri, S. Sudarshan. VLDB 1993. (knowledge bases and deductive databases)
 * Efficient Evaluation of Traversal Recursive Queries Using Connectivity Index. Kien A. Hua, Jeffrey X. W. Su, Chau M. Hua. ICDE 1993. (deductive db implementation)
 * Index Support for Rule Activation. David A. Brant, Daniel P. Miranker. ACM SIGMOD Conference 1993. (rules and integrity)
 * Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases. Dimitris Plexousakis. VLDB 1993. (knowledge bases and deductive databases)
 * Intelligent Integration of Information. Gio Wiederhold. ACM SIGMOD Conference 1993. (industrial, intelligent and deductive databases)
 * Local Verification of Global Integrity Constraints in Distributed Databases. Ashish Gupta, Jennifer Widom. ACM SIGMOD Conference 1993. (rules and integrity)
 * Methods and Rules. Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller. ACM SIGMOD Conference 1993. (rules and integrity)
 * Negation and Minimality in Non-Horn Databases. Marco Schaerf. PODS 1993. (generalized logic programs)
 * Normalization of Linear Recursions in Deductive Databases. Jiawei Han, Kangsheng Zeng, Tong Lu. ICDE 1993. (deductive db implementation)
 * Queries Independent of Updates. Alon Y. Levy, Yehoshua Sagiv. VLDB 1993. (knowledge bases and deductive databases)
 * Query Evaluation under the Well Founded Semantics. Weidong Chen, David Scott Warren. PODS 1993. (generalized logic programs)
 * The Miro DBMS. Michael Stonebraker. ACM SIGMOD Conference 1993. (industrial, intelligent and deductive databases)

1992

 * A Method for Change Computation in Deductive Databases. Toni Urp&iacute;, Antoni Oliv&eacute;. VLDB 1992. (deductive database systems)
 * A Model for Optimizing Deductive and Object-Oriented DB Requests. Jean-Pierre Cheiney, Rosana S. G. Lanzelotte. ICDE 1992. (deductive databases)
 * Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein. ACM SIGMOD Conference 1992. (rule management)
 * CORAL - Control, Relations and Logic. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan. VLDB 1992. (deductive database systems)
 * Chain-Split Evaluation in Deductive Databases. Jiawei Han. ICDE 1992. (deductive databases)
 * Constraints and Redundancy in Datalog. Alon Y. Levy, Yehoshua Sagiv. PODS 1992. (datalog analysis)
 * Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. Guozhu Dong. PODS 1992. (datalog analysis)
 * Extensible/Rule Based Query Rewrite Optimization in Starburst. Hamid Pirahesh, Joseph M. Hellerstein, Waqar Hasan. ACM SIGMOD Conference 1992. (rule management)
 * On Semantic Query Optimization in Deductive Databases. Laks V. S. Lakshmanan, Rokia Missaoui. ICDE 1992. (deductive databases)
 * On the Equivalence of Recursive and Nonrecursive Datalog Programs. Surajit Chaudhuri, Moshe Y. Vardi. PODS 1992. (datalog analysis)
 * Rule Condition Testing and Action Execution in Ariel. Eric N. Hanson. ACM SIGMOD Conference 1992. (rule management)
 * Updates in a Rule-Based Language for Objects. Michael Kramer, Georg Lausen, Gunter Saake. VLDB 1992. (deductive database systems)

1991

 * A Functional Programming Approach to Deductive Databases. Alexandra Poulovassilis, Carol Small. VLDB 1991. (deductive databases)
 * A Non-deterministic Deductive Database Language. Yeh-Heng Sheng. ACM SIGMOD Conference 1991. (deductive databases)
 * A Rule-Based Query Rewriter in an Extensible DBMS. B&eacute;atrice Finance, Georges Gardarin. ICDE 1991. (deductive and extensive databases)
 * Aggregation and Relevance in Deductive Databases. S. Sudarshan, Raghu Ramakrishnan. VLDB 1991. (deductive databases)
 * Compiling a Rule Database Program into a C/SQL Application. Gerald Kiernan, Christophe de Maindreville. ICDE 1991. (ai and knowledge based systems, rule processing)
 * Constraint-Based Reasoning in Deductive Databases. Jiawei Han. ICDE 1991. (deductive and extensive databases)
 * Data Management for Large Rule Systems. Arie Segev, J. Leon Zhao. VLDB 1991. (rule implementations &amp; performance)
 * Deductive Databases in Action. Shalom Tsur. PODS 1991. (deductive databases)
 * Design Overview of the Aditi Deductive Database System. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey. ICDE 1991. (deductive and extensive databases)
 * Detecting Redundant Tuples During Query Evaluation. Surajit Chaudhuri. PODS 1991. (recursive query processing)
 * Effects of Database Size on Rule System Performance: Five Case Studies. David A. Brant, Timothy Grose, Bernie Lofaso, Daniel P. Miranker. VLDB 1991. (rule implementations &amp; performance)
 * Evaluation of Rule Processing Strategies In Expert Databases. Arie Segev, J. Leon Zhao. ICDE 1991. (ai and knowledge based systems, rule processing)
 * Implementing Set-Oriented Production Rules as an Extension to Starburst. Jennifer Widom, Roberta Cochrane, Bruce G. Lindsay. VLDB 1991. (rule implementations &amp; performance)
 * Incremental Evaluation of Rules and its Relationship to Parallelism. Ouri Wolfson, Hasanat M. Dewan, Salvatore J. Stolfo, Yechiam Yemini. ACM SIGMOD Conference 1991. (implementation of rules)
 * Integrity Constraints Checking In Deductive Databases. Antoni Oliv&eacute;. VLDB 1991. (deductive databases)
 * LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. Yanjun Lou, Z. Meral &Ouml;zsoyoglu. ACM SIGMOD Conference 1991. (deductive databases)
 * Minimum and Maximum Predicates in Logic Programming. Sumit Ganguly, Sergio Greco, Carlo Zaniolo. PODS 1991. (deductive databases)
 * Modular Acyclicity and Tail Recursion in Logic Programs. Kenneth A. Ross. PODS 1991. (recursive query processing)
 * New Directions For Uncertainty Reasoning In Deductive Databases. Ulrich G&uuml;ntzer, Werner Kie&szlig;ling, Helmut Th&ouml;ne. ACM SIGMOD Conference 1991. (deductive databases)
 * Overbound and Right-Linear Queries. Inderpal Singh Mumick, Hamid Pirahesh. PODS 1991. (recursive query processing)
 * Semantic Query Reformulation in Deductive Databases. Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah. ICDE 1991. (deductive and extensive databases)
 * Set-Oriented Constructs: From Rete Rule Bases to Database Systems. Douglas N. Gordin, Alexander J. Pasik. ACM SIGMOD Conference 1991. (implementation of rules)
 * Space Optimization in the Bottom-Up Evaluation of Logic Programs. S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Jeffrey F. Naughton. ACM SIGMOD Conference 1991. (implementation of rules)
 * Structural Query Optimization - A uniform Framework for Semantic Query Optimization in Deductive Databases. Laks V. S. Lakshmanan, H&eacute;ctor J. Hern&aacute;ndez. PODS 1991. (recursive query processing)
 * Using Type Inference and Induced Rules to Provide Intensional Answers. Wesley W. Chu, Rei-Chi Lee, Qiming Chen. ICDE 1991. (ai and knowledge based systems, rule processing)

1990

 * A Parallel Strategy for Transitive Closure usind Double Hash-Based Clustering. Jean-Pierre Cheiney, Christophe de Maindreville. VLDB 1990. (deductive databases)
 * A Predicate Matching Algorithm for Database Rule Systems. Eric N. Hanson, Moez Chaabouni, Chang-Ho Kim, Yu-Wang Wang. ACM SIGMOD Conference 1990. (rule processing systems)
 * Distributed Transitive Closure Computations: The Disconnection Set Approach. Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri. VLDB 1990. (deductive databases)
 * Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries. Juhani Kuittinen, Otto Nurmi, Seppo Sippu, Eljas Soisalon-Soininen. VLDB 1990. (deductive databases)
 * Factoring Augmented Regular Chain Programs. Peter T. Wood. VLDB 1990. (deductive databases)
 * Hard Problems for Simple Logic Programs. Yatin P. Saraiya. ACM SIGMOD Conference 1990. (theory of recursive query processing)
 * How to Forget the Past Without Repeating It. Jeffrey F. Naughton, Raghu Ramakrishnan. VLDB 1990. (deductive databases)
 * Hybrid Transitive Closure Algorithms. Rakesh Agrawal, H. V. Jagadish. VLDB 1990. (deductive databases)
 * IDLOG: Extending the Expressive Power of Deductive Database Languages. Yeh-Heng Sheng. ACM SIGMOD Conference 1990. (theory of recursive query processing)
 * Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari. ACM SIGMOD Conference 1990. (rule processing systems)
 * Magic is Relevant. Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan. ACM SIGMOD Conference 1990. (rule processing systems)
 * Making Deductive Databases a Practical Technology: A Step Forward. Gerald Kiernan, Christophe de Maindreville, Eric Simon. ACM SIGMOD Conference 1990. (rule processing systems)
 * On Rules, Procedures, Caching and Views in Data Base Systems. Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos. ACM SIGMOD Conference 1990. (rule processing systems)
 * Right-, left- and multi-linear rule transformations that maintain context information. David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi. VLDB 1990. (deductive databases)
 * Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan. VLDB 1990. (deductive databases)
 * Set-Oriented Production Rules in Relational Database Systems. Jennifer Widom, Sheldon J. Finkelstein. ACM SIGMOD Conference 1990. (rule processing systems)
 * The Input/Output Complexity of Transitive Closure. Jeffrey D. Ullman, Mihalis Yannakakis. ACM SIGMOD Conference 1990. (theory of recursive query processing)
 * The Magic of Duplicates and Aggregates. Inderpal Singh Mumick, Hamid Pirahesh, Raghu Ramakrishnan. VLDB 1990. (deductive databases)

1989

 * A File Structure Supporting Traversal Recursion. Per-&Aring;ke Larson, Vinay Deshpande. ACM SIGMOD Conference 1989. (recursive query processing)
 * Aggregative Closure: An Extension of Transitive Closure. Isabel F. Cruz, Theodore S. Norvell. ICDE 1989. (recursive queries)
 * Argument Reduction by Factoring. Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman. VLDB 1989. (recursive query optimization)
 * Commutativity and its Role in the Processing of Linear Recursion. Yannis E. Ioannidis. VLDB 1989. (recursive query optimization)
 * Constraints for Improving the Generation of Intensional Answers in a Deductive Database. Alain Pirotte, Dominique Roelants. ICDE 1989. (deductive databases)
 * Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules. Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman. ACM SIGMOD Conference 1989. (recursive query processing)
 * Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. Rakesh Agrawal, Alexander Borgida, H. V. Jagadish. ACM SIGMOD Conference 1989. (recursive query processing)
 * Estimating the Size of Generalized Transitive Closures. Richard J. Lipton, Jeffrey F. Naughton. VLDB 1989. (recursive query optimization)
 * Finding Regular Simple Paths in Graph Databases. Alberto O. Mendelzon, Peter T. Wood. VLDB 1989. (recursive query optimization)
 * Materialization and Incremental Update of Path Information. Rakesh Agrawal, H. V. Jagadish. ICDE 1989. (recursive queries)
 * Relational Storage and Efficient Retrieval of Rules in a Deductive DBMS. Jean-Pierre Cheiney, Christophe de Maindreville. ICDE 1989. (deductive databases)
 * Semantics and Efficient Compilation for Quantitative Deductive Databases. Nikolaus Steger, Helmut Schmidt, Ulrich G&uuml;ntzer, Werner Kie&szlig;ling. ICDE 1989. (deductive databases)
 * Synchronized Counting Method. Hussien Aly, Z. Meral &Ouml;zsoyoglu. ICDE 1989. (recursive queries)
 * Towards on Open Architecture for LDL. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy. VLDB 1989. (recursive query optimization)

1988

 * A Data/Knowledge Base Management Testbed and Experimental Results on Data/Knowledge Base Query and Update Processing. Raja Ramnarayan, Hongjun Lu. ACM SIGMOD Conference 1988. (rule processing)
 * A Self-Controlling Interpreter for the Relational Production Language. Lois M. L. Delcambre, James N. Etheredge. ACM SIGMOD Conference 1988. (rule processing)
 * An Optimization Strategy for Recursive Queries in Logic Databases. Seppo Sippu, Eljas Soisalon-Soininen. ICDE 1988. (recursive queries and logic)
 * Classification of Recursive Formulas in Deductive Databases. Cheong Youn, Lawrence J. Henschen, Jiawei Han. ACM SIGMOD Conference 1988. (query processing in deductive databases)
 * Compiling Separable Recursions. Jeffrey F. Naughton. ACM SIGMOD Conference 1988. (query processing in deductive databases)
 * Computing Facts in Non-Horn Deductive Systems. Eliezer L. Lozinskii. VLDB 1988. (deductive databases)
 * Distributed Processing of Logic Programs. Ouri Wolfson, Abraham Silberschatz. ACM SIGMOD Conference 1988. (query processing in deductive databases)
 * Efficient Search in Very Large Databases. Rakesh Agrawal, H. V. Jagadish. VLDB 1988. (deductive databases)
 * Efficient Transitive Closure Algorithms. Yannis E. Ioannidis, Raghu Ramakrishnan. VLDB 1988. (deductive databases)
 * Fixed-point semantics and the representation of algorithms on large data. Michel de Rougemont. VLDB 1988. (deductive databases)
 * Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms. Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid. ACM SIGMOD Conference 1988. (rule processing)
 * Modelling Non Deterministic Queries and Updates in Deductive Databases. Christophe de Maindreville, Eric Simon. VLDB 1988. (deductive databases)
 * Moving Selections into Linear Least Fixpoint Queries. Rakesh Agrawal, Premkumar T. Devanbu. ICDE 1988. (recursive queries and logic)
 * PL - A Probabilistic Logic. Arie Tzvieli. ICDE 1988. (recursive queries and logic)
 * Semantic Query Optimization in Recursive Databases. Sanggoo Lee, Jiawei Han. ICDE 1988. (recursive queries and logic)
 * Towards a Real Horn Clause Language. Ravi Krishnamurthy, Shamim A. Naqvi. VLDB 1988. (deductive databases)

1987

 * A Graphical Query Language Supporting Recursion. Isabel F. Cruz, Alberto O. Mendelzon, Peter T. Wood. ACM SIGMOD Conference 1987. (recursion)
 * A Necessary Condition for a Doubly Recursive Rule to be Equivalent to a Linear Recursive Rule. Weining Zhang, Clement T. Yu. ACM SIGMOD Conference 1987. (recursion)
 * A Study of Transitive Closure As a Recursion Mechanism. H. V. Jagadish, Rakesh Agrawal, Linda Ness. ACM SIGMOD Conference 1987. (recursion)
 * An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments. Kyu-Young Whang, Shamkant B. Navathe. VLDB 1987. (recursive query processing)
 * Design and Evaluation of Algorithms to Compute the Transitive Closure of a Database Relation. Hongjun Lu, Krishna P. Mikkilineni, James P. Richardson. ICDE 1987. (evaluating recursive queries)
 * Direct Algorithms for Computing the Transitive Closure of Database Relations. Rakesh Agrawal, H. V. Jagadish. VLDB 1987. (recursive query processing)
 * Evaluating Recursive Queries in CAD Using an Extended Projection Function. Martin Hardwick, George Samaras, David L. Spooner. ICDE 1987. (evaluating recursive queries)
 * New Strategies for Computing the Transitive Closure of a Database Relation. Hongjun Lu. VLDB 1987. (recursive query processing)
 * On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration. Ulrich G&uuml;ntzer, Werner Kie&szlig;ling, Rudolf Bayer. ICDE 1987. (evaluating recursive queries)
 * Recursive Versus Iterative Schemes for Least Fix Point Computation in Logic Databases. G. Barbara Demo. ICDE 1987. (evaluating recursive queries)

1986

 * A Parallel Processing Strategy for Evaluating Recursive Queries. Louiqa Raschid, Stanley Y. W. Su. VLDB 1986. (recursive query processing)
 * A Rule-Based Object/Task Modelling Approach. Qiming Chen. ACM SIGMOD Conference 1986. (rule-based systems)
 * On the Computation of the Transitive Closure of Relational Operators. Yannis E. Ioannidis. VLDB 1986. (recursive query processing)
 * Query Processing in Deductive Databases with Incomplete Information. Tomasz Imielinski. ACM SIGMOD Conference 1986. (rule-based systems)
 * Rule Base Management Using Meta Knowledge. Mehdi T. Harandi, Thierry Schang, Seth Cohen. ACM SIGMOD Conference 1986. (rule-based systems)
 * Translation and Optimization of Logic Queries: The Algebraic Approach. Stefano Ceri, Georg Gottlob, Luigi Lavazza. VLDB 1986. (recursive query processing)