A closed-form evaluation for Datalog queries with integer (gap)-order constraints

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

A closed-form evaluation for Datalog queries with integer (gap)-order constraints

Source

Theoretical Computer Science archive
Volume 116 , Issue 1 (August 1993) table of contents

Pages: 117 - 149

Year of Publication: 1993

ISSN:0304-3975

Also published in ...

Author

Peter Z. Revesz

Univ. of Nebraska, Lincoln

Publisher

Elsevier Science Publishers Ltd. Essex, UK

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 24

Additional Information:

cited by index terms review collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	10.1016/0304-3975(93)90222-F

CITED BY 24

	Pascal Van Hentenryck , Vijay Saraswat, Strategic directions in constraint programming, ACM Computing Surveys (CSUR), v.28 n.4, p.701-726, Dec. 1996
	Peter Z. Revesz, Safe query languages for constraint databases, ACM Transactions on Database Systems (TODS), v.23 n.1, p.58-99, March 1998
	Alexander Brodsky, Constraint databases: promising technology or just intellectual exercise?, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Paris Kanellakis, Constraint programming and database languages: a tutorial, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.46-53, May 22-25, 1995, San Jose, California, United States
	Oscar H. Ibarra , Jianwen Su, On the containment and equivalence of database queries with linear constraints (extended abstract), Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.32-43, May 11-15, 1997, Tucson, Arizona, United States
	Elisa Bertino , Claudio Bettini , Elena Ferrari , Pierangela Samarati, An access control model supporting periodicity constraints and temporal reasoning, ACM Transactions on Database Systems (TODS), v.23 n.3, p.231-285, Sept. 1998
	Stéphane Grumbach , Jianwen Su, Dense-order constraint databases (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.66-77, May 22-25, 1995, San Jose, California, United States
	Alexei P. Stolboushkin , Michael A. Taitslin, Safe stratified Datalog with integer order does not have syntax, ACM Transactions on Database Systems (TODS), v.23 n.1, p.100-109, March 1998
	Claudio Bettini , X. Sean Wang , Sushil Jajodia, Temporal Reasoning in Workflow Systems, Distributed and Parallel Databases, v.11 n.3, p.269-306, May 2002
	Béatrice Bérard , Laurent Fribourg , Francis Klay , Jean-François Monin, A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance, Formal Methods in System Design, v.22 n.1, p.59-86, January 2003
	David Tanzer , Dennis Shasha, Queryable acyclic production systems, Proceedings of the eighth international conference on Information and knowledge management, p.284-291, November 02-06, 1999, Kansas City, Missouri, United States
	Jan Chomicki , Dina Goldin , Gabriel Kuper , David Toman, Variable Independence in Constraint Databases, IEEE Transactions on Knowledge and Data Engineering, v.15 n.6, p.1422-1436, November 2003
	Jean-François Monin, Proving the Correctness of the Standardized Algorithm for ABR Conformance, Formal Methods in System Design, v.17 n.3, p.221-243, Dec. 2000
	Rodolfo Sabás Gómez , Juan Carlos Augusto, Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states, Artificial Intelligence Review, v.26 n.4, p.269-289, December 2006
	Paris Kanellakis, Database querying and constraint programming, ACM SIGACT News, v.25 n.4, p.22-87, Dec. 1994
	Elisa Bertino , Claudio Bettini , Elena Ferrari , Pierangela Samarati, Supporting Periodic Authorizations and Temporal Reasoning in Database Access Control, Proceedings of the 22th International Conference on Very Large Data Bases, p.472-483, September 03-06, 1996
	Alexander Brodsky , Victor E. Segal , Jia Chen , Pavel A. Exarkhopoulo, The CCUBE Constraint Object-Oriented Database System, Constraints, v.2 n.3-4, p.245-277, 1997
	Alexander Brodsky , Joxan Jaffar , Michael J. Maher, Toward Practical Query Evaluation for Constraint Databases, Constraints, v.2 n.3-4, p.279-304, 1997
	David Toman, Memoing Evaluation for Constraint Extensions of Datalog, Constraints, v.2 n.3-4, p.337-359, 1997
	Peter Z. Revesz, Refining Restriction Enzyme Genome Maps, Constraints, v.2 n.3-4, p.361-375, 1997
	Pascal Van Hentenryck , Vijay Saraswat, Constraint Programming: Strategic Directions, Constraints, v.2 n.1, p.7-33, April 1997
	Alexander Brodsky, Constraint Databases: Promising Technology or Just IntellectualExercise?, Constraints, v.2 n.1, p.35-44, April 1997
	Parosh Aziz Abdulla , Giorgio Delzanno , Ahmed Rezine, Monotonic Abstraction in Parameterized Verification, Electronic Notes in Theoretical Computer Science (ENTCS), 223, p.3-14, December, 2008
	Parosh Aziz Abdulla , Giorgio Delzanno , Ahmed Rezine, Approximated parameterized verification of infinite-state processes with global conditions, Formal Methods in System Design, v.34 n.2, p.126-156, April 2009

INDEX TERMS

Primary Classification:
H. Information Systems
H.2 DATABASE MANAGEMENT
H.2.3 Languages

Nouns: Datalog

Additional Classification:
H. Information Systems
H.2 DATABASE MANAGEMENT
H.2.4 Systems
Subjects: Query processing

General Terms:
Algorithms, Languages, Performance, Theory

REVIEW

"Edward Sciore : Reviewer"

Revesz examines Datalog, generalized so that tuples can have associated integer order constraints. Such generalized tuples denote a possibly infinite set of ground tuples. For example, let R be a bi more...

Collaborative Colleagues:

Peter Z. Revesz: colleagues

This Article has also been published in:

Selected papers of the 4th international conference on Database theory

1993 , Berlin, Germany

Adobe Acrobat

QuickTime

Windows Media Player

Real Player