On the sequential nature of unification
Journal of Logic Programming
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries
IEEE Transactions on Software Engineering
Complexity of matching problems
Proc. of the first international conference on Rewriting techniques and applications
Relational queries computable in polynomial time
Information and Control
A note on succinct representations of graphs
Information and Control
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Languages that capture complexity classes
SIAM Journal on Computing
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Information Processing Letters
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Parallel algorithms for term matching
SIAM Journal on Computing
Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
A completeness theorem for SLDNF resolution
Journal of Logic Programming
Descriptive characterizations of computational complexity
Journal of Computer and System Sciences
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A relational approach to logic programming: the extended Alexander method
Theoretical Computer Science
Query evaluation in recursive databases: bottom-up and top-down reconciled
Data & Knowledge Engineering
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
The expressive power structured values in pure OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tractable query languages for complex object databases
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unsolvable problems for SLDF resolution
Journal of Logic Programming
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Journal of Computer and System Sciences
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Efficient bottom-up computation of queries on stratified databases
Journal of Logic Programming
Converting nested algebra expressions into flat algebra expressions
ACM Transactions on Database Systems (TODS)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Capturing complexity classes by fragments of second-order logic
Theoretical Computer Science - Special issue on logic and applications to computer science
Extension table built-ins for Prolog
Software—Practice & Experience
The object-oriented database system manifesto
Building an object-oriented database system
A procedural semantics for well-founded negation in logic programs
Journal of Logic Programming
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete
Theoretical Computer Science
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
Towards tractable algebras for bags
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimization of real conjunctive queries
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tutorial on specialisation of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ACM Transactions on Database Systems (TODS)
Finite-model theory—a personal perspective
ICDT Selected papers of the 4th international conference on Database theory
The complexity of algorithmic problems on succinct instances
Computer science
Complexity of unification problems with associative-commutative operators
Journal of Automated Reasoning
New techniques for studying set languages, bag languages and aggregate functions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Completeness of SLDNF-resolution for non-floundering queries
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
The expressive powers of the logic programming semantics
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Containment of conjunctive queries: beyond relations as sets
ACM Transactions on Database Systems (TODS)
Production matching for large learning systems
Production matching for large learning systems
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Unification modulo ACI + 1 + 0
Fundamenta Informaticae
ACM Transactions on Database Systems (TODS)
Regular path queries with constraints
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query languages for bags and aggregate functions
Journal of Computer and System Sciences - Special issue on principles of database systems
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object identity as a query language primitive
Journal of the ACM (JACM)
Modular stratification and magic sets for DATALOG programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theoretical Computer Science
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Optimising Web queries using document type definitions
Proceedings of the 2nd international workshop on Web information and data management
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Using Semi-Joins to Solve Relational Queries
Journal of the ACM (JACM)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A relational model of data for large shared data banks
Communications of the ACM
Minimization of tree pattern queries
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Database Systems: The Complete Book
Database Systems: The Complete Book
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Bringing order to query optimization
ACM SIGMOD Record
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
An extended relational algebra with control over duplicate elimination
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Remarks on the algebra of non first normal form relations
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
Optimizing Regular Path Expressions Using Graph Schemas
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
A Bottom-up Query Evaluation Method for Stratified Databases
Proceedings of the Ninth International Conference on Data Engineering
Naturally Embedded Query Languages
ICDT '92 Proceedings of the 4th International Conference on Database Theory
OLD Resolution with Tabulation
Proceedings of the Third International Conference on Logic Programming
Local Properties of Query Languages
ICDT '97 Proceedings of the 6th International Conference on Database Theory
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Complexity of Query Answering in Logic Databases with Complex Values
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Translating and Optimizing SQL Queries Having Aggregates
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Soft stratification for magic set based query evaluation in deductive databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the Forms of Locality over Finite Models
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
On the complexity of single-rule datalog queries
Information and Computation - Special issue: ICC '99
Satisfiability of Word Equations with Constants is in PSPACE
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
LA-WEB '03 Proceedings of the First Conference on Latin American Web Congress
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
ACM SIGMOD Record
The Semijoin Algebra and the Guarded Fragment
Journal of Logic, Language and Information
Pattern tree algebras: sets or sequences?
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Query optimization in XML structured-document databases
The VLDB Journal — The International Journal on Very Large Data Bases
On the complexity of nonrecursive XQuery and functional query languages on complex values
ACM Transactions on Database Systems (TODS)
A consideration on normal form of not-necessarily-normalized relation in the relational data model
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Multirelations: semantice and languages
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
On the minimization of Xpath queries
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Completeness of the negation as failure rule
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
Logical reconstruction of RDF and ontology languages
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
A contribution to the semantics of xcerpt, a web query and transformation language
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Rules and Ontologies for the Semantic Web
Reasoning Web
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Foundations of SPARQL query optimization
Proceedings of the 13th International Conference on Database Theory
Four lessons in versatility or how query languages adapt to the web
Semantic techniques for the web
Reasoning as axioms change: incremental view maintenance reconsidered
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |
This survey article introduces into the essential concepts and methods underlying rule-based query languages. It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of query evaluation. The treatment of these areas is foundation-oriented, the foundations having resulted from over four decades of research in the logic programming and database communities on combinations of query languages and rules. These results have later formed the basis for conceiving, improving, and implementing several Web and Semantic Web technologies, in particular query languages such as XQuery or SPARQL for querying relational, XML, and RDF data, and rule languages like the "Rule Interchange Framework (RIF)" currently being developed in a working group of the W3C. Coverage of the article is deliberately limited to declarative languages in a classical setting: issues such as query answering in F-Logic or in description logics, or the relationship of query answering to reactive rules and events, are not addressed.