Fandom

Scratchpad

Deductive databases, datalog bibliography

219,203pages on
this wiki
Add New Page
Discuss this page0 Share


1997

  • Association Rules over Interval Data. Renée J. Miller, Yuping Yang. ACM SIGMOD Conference 1997. (rule management)
  • Eliminating Costly Redundant Computations from SQL Trigger Executions. François Llirbat, Franç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í, Antoni Olivé. 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é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 & 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 & 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 & 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é. VLDB 1991. (deductive databases)
  • LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. Yanjun Lou, Z. Meral Ö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üntzer, Werner Kießling, Helmut Thö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éctor J. Herná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-Å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üntzer, Werner Kießling. ICDE 1989. (deductive databases)
  • Synchronized Counting Method. Hussien Aly, Z. Meral Ö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üntzer, Werner Kieß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)

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on Fandom

Random wikia