A Model Theoretic Approach to Update Rule Programs.

@inproceedings{DBLP:conf/icdt/BidoitM97,
  author    = {Nicole Bidoit and
               Sofian Maabout},
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {A Model Theoretic Approach to Update Rule Programs},
  booktitle = {Database Theory - ICDT '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  year      = {1997},
  isbn      = {3-540-62222-5},
  pages     = {173-187},
  ee        = {db/conf/icdt/BidoitM97.html},
  crossref  = {DBLP:conf/icdt/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[ABW87]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[AHV95]

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX

[AHW95]

Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom: Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. 20(1): 3-41(1995) BibTeX

[BCW93]

Marianne Baudinet, Jan Chomicki, Pierre Wolper: Temporal Deductive Databases. Temporal Databases 1993: 294-320 BibTeX

[BF91]

Nicole Bidoit, Christine Froidevaux: General Logical Databases and Programs: Default Logic Semantics and Stratification. Inf. Comput. 91(1): 15-54(1991) BibTeX

[BH89]

Nicole Bidoit, Richard Hull: Minimalism, Justification and Non-Monotonicity in Deductive Databases. J. Comput. Syst. Sci. 38(2): 290-325(1989) BibTeX

[BM96]

Nicole Bidoit, Sofian Maabout: Update Programs Versus Revision Programs. NMELP 1996: 151-170 BibTeX

[CFPT94]

Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994) BibTeX

[Fag91]

François Fages: A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. New Generation Comput. 9(3/4): 425-444(1991) BibTeX

[Fit85]

Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312(1985) BibTeX

[FT95]

Piero Fraternali, Letizia Tanca: A Structured Approach for the Definition of the Semantics of Active Databases. ACM Trans. Database Syst. 20(4): 414-471(1995) BibTeX

[GL88]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[GMS96]

Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian: The PARK Semantics for Active Rules. EDBT 1996: 35-55 BibTeX

[Ger94]

Michael Gertz: Specifying Reactive Integrity Control for Active Databases. RIDE-ADS 1994: 62-70 BibTeX

[HLS95]

Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos: Update Rules in Datalog Programs. LPNMR 1995: 71-84 BibTeX

[MT95]

V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382 BibTeX

[PV95]

Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138 BibTeX

[Ras94]

Louiqa Raschid: A Semantics for a Class of Stratified Production System Programs. J. Log. Program. 21(1): 31-57(1994) BibTeX

[Rei80]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[S+95]

...

[SK87]

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 BibTeX

[SSW94]

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 BibTeX

[VRS91]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) BibTeX

[WC96]

Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
Contents BibTeX

[Wid92]

Jennifer Widom: A Denotational Semantics for the Starburst Production Rule Language. SIGMOD Record 21(3): 4-9(1992) BibTeX

[Zan95]

Carlo Zaniolo: Active Database Rules with Transaction-Conscious Stable-Model Semantics. DOOD 1995: 55-72 BibTeX