Wikia

Scratchpad

Deductive databases, datalog bibliography

217,703pages on
this wiki
Discuss this page0


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)

Around Wikia's network

Random wikia