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 BibTeX

[2]

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

[3]

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

[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 BibTeX

[7]

...

[8]

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

[9]

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

[10]

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

[11]

...

[12]

...

[13]

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

[14]

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

[15]

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

[16]

...

[17]

...

[18]

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

[19]

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

[20]

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