Semantic query optimization in Datalog programs (extended abstract)
- 22 May 1995
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Data model and query evaluation in global information systemsJournal of Intelligent Information Systems, 1995
- Equivalence, query-reachability and satisfiability in Datalog extensionsPublished by Association for Computing Machinery (ACM) ,1993
- The complexity of querying indefinite data about linearly ordered domainsPublished by Association for Computing Machinery (ACM) ,1992
- On the equivalence of recursive and nonrecursive datalog programsPublished by Association for Computing Machinery (ACM) ,1992
- Constraints and redundancy in datalogPublished by Association for Computing Machinery (ACM) ,1992
- Invited talk: automata theory for database theoreticiansPublished by Association for Computing Machinery (ACM) ,1989
- On conjunctive queries containing inequalitiesJournal of the ACM, 1988
- Equivalences Among Relational Expressions with the Union and Difference OperatorsJournal of the ACM, 1980