Verification of relational transducers for electronic commerce

Journal of Computer and System Sciences

Volumn 66, Issue 1, 2003, Pages 40-65

  Spielmann, Marc ^a  

^a HASSELT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; INTERNET; NETWORK PROTOCOLS; PROBLEM SOLVING;

TRANSACTION PROTOCOLS;

SYSTEMS ANALYSIS;

EID: 0037591752     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-0000(02)00029-6     Document Type: Article

References (22)

1. S. Abiteboul, L. Herr, J. Van den Bussche, Temporal connectives versus explicit timestamps to query temporal databases, J. Comput. System Sci. 58 (1) (1999) 54-68.
2. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley Publishing Company, Reading. MA. 1995.
3. S. Abiteboul, V. Vianu, B. Fordham, Y. Yesha, Relational transducers for electronic commerce. J. Comput. System Sci. 61 (2) (2000) 236-269.
4. N.R. Adam, Y. Yesha. Electronic commerce: an overview, in: N.R. Adam, Y. Yesha (Eds.), Electronic Commerce. Lecture Notes in Computer Science, Vol. 1028, Springer, Berlin, 1996, pp. 5-12.
5. E. Börger, J. Muggins, Abstract state machines 1988-1998: commented ASM bibliography, Bulletin of the EATCS. 64:105-127, February 1998. see also http://www.eecs.umich.edu/gasm.
6. E. Dantsin, T. Eiter, G. Gottlob, A. Voronkov, Complexity and expressive power of logic programming. ACM Computing Surveys 33 (3) (2001) 374-425.
7. H.D. Ebbinghaus, J. Flum, Finite Model Theory. Springer, Berlin, 1995.
8. E.A. Emerson, Temporal and modal logic, in: J. van Leeuwen (Ed.). Handbook of Theoretical Computer Science, Vol. B. Eisevier Science Publishers B.V., Amsterdam, 1990, pp. 995-1072.
9. B. Fordham, S. Abiteboul, Y. Yesha, Evolving databases: an application to electronic commerce, in: Proceedings of the International Database Engineering and Applications Symposium (IDEAS), August 1997.
10. G. Gottlob, G. Kappel, M. Schrefl, Semantics of object-oriented data models - the evolving algebra approach, in: J.W. Schmidt, A.A. Stogny (Eds.). Next Generation Information Technology, Lecture Notes in Computer Science. Vol. 504, Springer, Berlin, 1991, pp. 144-160.
11. Y. Gurevich, Evolving algebras 1993: Lipari guide, in: E. Börger (Ed.). Specification and Validation Methods. Oxford University Press. Oxford, 1995, pp. 9-36.
12. Y. Gurevich, May 1997 draft of the ASM guide, Technical Report CSE-TR-336-97, University of Michigan. May 1997.
13. N. Immerman, M.Y. Vardi, Model checking and transitive closure logic, in: Proceedings of 9th International Conference on Computer-Aided Verification (CAV '97), Lecture Notes in Computer Science, Vol. 1254, Springer, Berlin, 1997, pp. 291-302.
14. A. Levy, J. Mumick, Y. Sagiv, O. Shmueli, Equivalence, query-reachability, and satisfiability in datalog extensions. in: Proceedings of 12th ACM Symposium on Principles of Database Systems (PODS '93). ACM Press. New York. 1993, pp. 109-122.
15. C.H. Papadimitriou, Computational Complexity. Addison-Wesley Publishing Company, Reading, MA. 1994.
16. P. Picouet, V. Vianu, Semantics and expressiveness issues in active databases, J. Comput. System Sci. 57 (3) (1998) 325-355.
17. E. Rosen. An existential fragment of second order logic. Arch. Math. Logic 38 (1999) 217-234.
18. A.P. Sistla, E.M. Clarke, The complexity of propositional linear temporal logics, J. Assoc. Comput. Mach. 32 (3) (1985) 733-749.
19. M. Spielmann, Automatic verification of abstract state machines, in: Proceedings of 11th International Conference on Computer-Aided Verification (CAV '99). Lecture Notes in Computer Science, Vol. 1633. Springer. Berlin. 1999. pp. 431-442.
20. M. Spielmann, Abstract State Machines: Verification Problems and Complexity. Ph.D. Thesis. RWTH Aachen. 2000.
21. M. Vardi, The complexity of relational query languages, in: Proceedings of 14th ACM Symposium on Theory of Computing (STOC '82). ACM Press. New York, 1982, pp. 137-146.
22. M. Vardi, On the complexity of bounded-variable queries, in: Proceedings of 14th ACM Symposium on Principles of Database Systems (PODS '95), ACM Press. New York. 1995, pp. 266-276.