Transactions and Updates in Deductive Databases.

@article{DBLP:journals/tkde/MontesiBM97,
  author    = {Danilo Montesi and
               Elisa Bertino and
               Maurizio Martelli},
  title     = {Transactions and Updates in Deductive Databases},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {5},
  year      = {1997},
  pages     = {784-797},
  ee        = {db/journals/tkde/MontesiBM97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1997 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

References

[1]

Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX

[2]

Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268 BibTeX

[3]

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

[4]

Serge Abiteboul, Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120(1988) BibTeX

[5]

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

[6]

Elisa Bertino, Barbara Catania: Static Analysis of Intensional Databases in U-Datalog. PODS 1996: 202-212 BibTeX

[7]

...

[8]

Elisa Bertino, Barbara Catania, Giovanna Guerrini, Danilo Montesi: Static Analysis of Transactional Intensional Databases. Workshop on Deductive Databases and Logic Programming 1994: 57-73 BibTeX

[9]

Elisa Bertino, Barbara Catania, Giovanna Guerrini, Danilo Montesi: Transaction Optimization in Rule Databases. RIDE-ADS 1994: 137-145 BibTeX

[10]

Elisa Bertino, Giovanna Guerrini, Danilo Montesi: Towards Deductice Object Databases. TAPOS 1(1): 19-39(1995) BibTeX

[11]

Elisa Bertino, Maurizio Martelli, Danilo Montesi: Modelling Database Updates with Constraint Logic Programming. FMLDO 1992: 121-132 BibTeX

[12]

Anthony J. Bonner, Michael Kifer: An Overview of Transaction Logic. Theor. Comput. Sci. 133(2): 205-265(1994) BibTeX

[13]

Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 BibTeX

[14]

...

[15]

Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166(1989) BibTeX

[16]

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

[17]

Christophe de Maindreville, Eric Simon: A Production Rule-Based Approach to Deductive Databases. ICDE 1988: 234-241 BibTeX

[18]

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

[19]

Joxan Jaffar, Michael J. Maher: Constraint Logic Programming: A Survey. J. Log. Program. 19/20: 503-581(1994) BibTeX

[20]

...

[21]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX

[22]

Jennifer Widom, Sheldon J. Finkelstein: A Syntax and Semantics for Set-Oriented Production Rules in Relational Database Systems (Extended Abstract). SIGMOD Record 18(3): 36-45(1989) BibTeX

[23]

Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi: Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171(1995) BibTeX

[24]

...

[25]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[26]

Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents BibTeX

[27]

...

[28]

David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
BibTeX

[29]

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

[30]

Joxan Jaffar, Jean-Louis Lassez: Constraint Logic Programming. POPL 1987: 111-119 BibTeX

[31]

Dino Karabeg, Victor Vianu: Parallel Update Transactions (Extended Abstract). ICDT 1988: 307-321 BibTeX

[32]

Timothy G. Lindholm, Richard A. O'Keefe: Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. ICLP 1987: 21-39 BibTeX

[33]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[34]

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

[35]

...

[36]

Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX

[37]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: The CORAL Deductive System. VLDB J. 3(2): 161-210(1994) BibTeX

[38]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 BibTeX

[39]

Yehoshua Sagiv: Optimizing Datalog Programs. PODS 1987: 349-362 BibTeX

[40]

Oded Shmueli: Decidability and Expressiveness of Logic Queries. PODS 1987: 237-249 BibTeX

[41]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[42]

...