Verification of Relational Transducers for Electronic Commerce.

@inproceedings{DBLP:conf/pods/Spielmann00,
  author    = {Marc Spielmann},
  title     = {Verification of Relational Transducers for Electronic Commerce},
  booktitle = {Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium
               on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
               USA},
  publisher = {ACM},
  year      = {2000},
  isbn      = {1-58113-214-X},
  pages     = {92-103},
  ee        = {http://doi.acm.org/10.1145/335168.335212, db/conf/pods/Spielmann00.html},
  crossref  = {DBLP:conf/pods/00},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 2000 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Serge Abiteboul, Laurent Herr, Jan Van den Bussche: Temporal Versus First-Order Logic to Query Temporal Databases. PODS 1996: 49-57

[2]

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

[3]

Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha: Relational Transducers for Electronic Commerce. PODS 1998: 179-187

[4]

...

[5]

...

[6]

Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and Expressive Power of Logic Programming. IEEE Conference on Computational Complexity 1997: 82-101

[7]

...

[8]

E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072

[9]

Bradley S. Fordham, Serge Abiteboul, Yelena Yesha: Evolving Databases: An Application to Electronic Commerce. IDEAS 1997: 191-200

[10]

Georg Gottlob, Gerti Kappel, Michael Schrefl: Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. East/West Database Workshop 1990: 144-160

[11]

...

[12]

...

[13]

Neil Immerman, Moshe Y. Vardi: Model Checking and Transitive-Closure Logic. CAV 1997: 291-302

[14]

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. PODS 1993: 109-122

[15]

Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. J. Comput. Syst. Sci. 57(3): 325-355(1998)

[16]

...

[17]

...

[18]

Marc Spielmann: Automatic Verification of Abstract State Machines. CAV 1999: 431-442

[19]

Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146

[20]

Moshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276