Database Programming in Transaction Logic.

@inproceedings{DBLP:conf/dbpl/BonnerKC93,
  author    = {Anthony J. Bonner and
               Michael Kifer and
               Mariano P. Consens},
  editor    = {Catriel Beeri and
               Atsushi Ohori and
               Dennis Shasha},
  title     = {Database Programming in Transaction Logic},
  booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
               International Workshop on Database Programming Languages - Object
               Models and Languages, Manhattan, New York City, USA, 30 August
               - 1 September 1993},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19853-9},
  pages     = {309-337},
  ee        = {db/conf/dbpl/BonnerKC93.html},
  crossref  = {DBLP:conf/dbpl/93},
  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-5 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

[1]

Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247 BibTeX

[2]

Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250 BibTeX

[3]

Rakesh Agrawal, Roberta Cochrane, Bruce G. Lindsay: On Maintaining Priorities in a Production Rule System. VLDB 1991: 479-487 BibTeX

[4]

James F. Allen: Towards a General Theory of Action and Time. Artif. Intell. 23(2): 123-154(1984) BibTeX

[5]

François Bancilhon: A Logic-Programming/Object-Oriented Cocktail. SIGMOD Record 15(3): 11-21(1986) BibTeX

[6]

Thierry Barsalou, Arthur M. Keller, Niki Siambela, Gio Wiederhold: Updating Relational Databases through Object-Based Views. SIGMOD Conference 1991: 248-257 BibTeX

[7]

Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15 BibTeX

[8]

Catriel Beeri, Tova Milo: A Model for Active Object Oriented Databases. VLDB 1991: 337-349 BibTeX

[9]

Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressibility. Theor. Comput. Sci. 76(1): 3-51(1990) BibTeX

[10]

Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 BibTeX

[11]

...

[12]

Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 BibTeX

[13]

François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 BibTeX

[14]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX

[15]

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128(1982) BibTeX

[16]

Weidong Chen: Declarative Specification and Evaluation of Database Updates. DOOD 1991: 147-166 BibTeX

[17]

Christophe de Maindreville, Eric Simon: Modelling Non Deterministic Queries and Updates in Deductive Databases. VLDB 1988: 395-406 BibTeX

[18]

Narain H. Gehani, H. V. Jagadish: Ode as an Active Database: Constraints and Triggers. VLDB 1991: 327-336 BibTeX

[19]

...

[20]

David Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. 25(2): 144-170(1982) BibTeX

[21]

Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467 BibTeX

[22]

Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 BibTeX

[23]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX

[24]

Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424 BibTeX

[25]

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 BibTeX

[26]

Dennis R. McCarthy, Umeshwar Dayal: The Architecture Of An Active Data Base Management System. SIGMOD Conference 1989: 215-224 BibTeX

[27]

Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 BibTeX

[28]

Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 BibTeX

[29]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX

[30]

Domenico Saccà, Carlo Zaniolo: Stable Models and Non-Determinism in Logic Programs with Negation. PODS 1990: 205-217 BibTeX

[31]

Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos: On Rules, Procedures, Caching and Views in Data Base Systems. SIGMOD Conference 1990: 281-290 BibTeX

[32]

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

[33]

Jennifer Widom, Roberta Cochrane, Bruce G. Lindsay: Implementing Set-Oriented Production Rules as an Extension to Starburst. VLDB 1991: 275-285 BibTeX

[34]

Jennifer Widom, Sheldon J. Finkelstein: Set-Oriented Production Rules in Relational Database Systems. SIGMOD Conference 1990: 259-270 BibTeX

[35]

Marianne Winslett: A Model-Based Approach to Updating Databases with Incomplete Information. ACM Trans. Database Syst. 13(2): 167-196(1988) BibTeX

Referenced by

1. Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33
2. 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)
3. Munindar P. Singh: Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. DBPL 1995: 5