Referential actions as logical rules

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Referential actions as logical rules

Full text

Pdf (2.00 MB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents

Tucson, Arizona, United States

Pages: 217 - 227

Year of Publication: 1997

ISBN:0-89791-910-6

Authors

Bertram Ludäscher	Institut für Informatik, Universität Freiburg, Germany
Wolfgang May	Institut für Informatik, Universität Freiburg, Germany
Georg Lausen	Institut für Informatik, Universität Freiburg, Germany

Sponsor

SIGMOD: ACM Special Interest Group on Management of Data

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 11, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

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

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/263661.263685 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AV91	Serge Abiteboul , Victor Vianu, Datalog extensions for database queries and updates, Journal of Computer and System Sciences, v.43 n.1, p.62-124, Aug. 1991 [doi>10.1016/0022-0000(91)90032-Z]
	CPM96	Roberta Cochrane , Hamid Pirahesh , Nelson Mendonça Mattos, Integrating Triggers and Declarative Constraints in SQL Database Sytems, Proceedings of the 22th International Conference on Very Large Data Bases, p.567-578, September 03-06, 1996
	Dat81	C. J. Date. Referential Integrity. In Prec. Intl. "Conference on Very Large Data Bases, pages 2-12, Cannes, France, March 1981. IEEE Computer Society Press.
	Dix95	J. Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. In A. Fuhrmann and H. Rott, editors, Logic, Action and Information. de Gruyter, 1995.
	ELS96	Thomas Eiter , Nicola Leone , Domenico Saccà, The Expressive Power of Partial Models in Disjunctive Deductive Databases, Proceedings of the International Workshop on Logic in Databases, p.245-264, July 01-02, 1996
	Hor92	Bruce M. Horowitz, A Run-Time Execution Model for Referential Integrity Maintenance, Proceedings of the Eighth International Conference on Data Engineering, p.548-556, February 03-07, 1992
	ISO92	ISO/IEC JTC1/SC21. information Technology- Database Languages- SQL2, July 1992. ANSI, 1430 Broadway, New York, NY 10018.
	ISO94	ISO/IEC JTC1/SC21/WG3. ISO/ANSI working draft Database Languages- SQL3, August 1994, J. Melton (Ed.), ANSI, 1430 Broadway, New York, NY 10018.
	LML96	B. Lud~cher, W. May, and G. Lausen. Triggers, Games, and Stable Models. Technical report, Institut fiir Informatik, Universit,it Freiburg, 1996. http://www.informatik.unifreiburg.de/-ludaesch/Paper/tgsm.ps.gz.
	LMR96	B. Lud~cher, W. May, and J. Reinert. Towards a Logical Semantics for Referential Actions in SQL. In Prec. 6th Intl. Workshop on Foundations of Models and Languages for Data and Objects: Integrity in Daiabases~ Dagstuhl, Germany, 1996. http://ww~viti.cs,unimagdeburg.de/'conrad/IDB96/Proceedings.html,
	Mar94	Victor M. Markowitz, Safe referential integrity and null constraint structures in relational databases, Information Systems, v.19 n.4, p.359-378, June 1994 [doi>10.1016/0306-4379(94)90019-1]
	PV95	Phillippe Picouet , Victor Vianu, Semantics and expressiveness issues in active databases (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.126-138, May 22-25, 1995, San Jose, California, United States [doi>10.1145/212433.220203]
	Rei96	Joachim Reinert, Ambiguity for Referential Integrity Is Undecidable, Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications, p.132-147, September 08-09, 1995
	Via	Victor Vianu, Rule-based languages, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.215-259, 1997 [doi>10.1023/A:1018907806177]

CITED BY 3

	Sang-Won Lee , Yong-Han Kim , Hyoung-Joo Kim, The semantics of an extended referential integrity for a multilevel secure relational data model, Data & Knowledge Engineering, v.48 n.1, p.129-152, January 2004
	Wolfgang May , Bertram Ludäscher, Understanding the global semantics of referential actions using logic rules, ACM Transactions on Database Systems (TODS), v.27 n.4, p.343-397, December 2002
	Jan Chomicki , Jerzy Marcinkowski, Minimal-change integrity maintenance using tuple deletions, Information and Computation, v.197 n.1/2, p.90-121, February 25, 2005/March 15, 2005