Marc Spielmann  Home/Search
Context Related
| informatik.rwthaachen.de/p...pods00.ps mgi.informatik.rwthaachen....pods00.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mgi.informatik....publicationsAll (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Motivated by recent work of Abiteboul, Vianu, Fordham, and Yesha [3] we investigate the verifiability of transaction protocols specifying the interaction of multiple parties via a network, where each party is equipped with an (active) database that participates in the interaction. Such transaction protocols typically occur in the context of electronic commerce applications and can be formalized as relational transducers. We introduce a class of powerful relational transducers based on... (Update)
Context of citations to this paper: More
...the sequence of outputs generated in response to each of the inputs. The static analysis of relational transducers is studied in [11, 97]. For instance, goal reachability asks if some goal can be achieved by some run of the transducer, possibly with some preconditions. In the...
.... is justified in particular by the observation that the temporal specifications for verifying properties of transducers considered in [Spi00] are proved to be not simply monodic but monodic ground eventuality problems. One of the essential advantages of the method given above...
Cited by: More
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
Towards First-Order Temporal Resolution - Degtyarev, Fisher (Correct)
A Web Odyssey: from Codd to XML - Vianu (2001) (Correct)
Active bibliography (related documents): More All
0.5: Decidability and Undecidability Results for the Termination.. - Bailey, Dong (1998) (Correct)
0.3: Relational Transducers for Electronic Commerce - Abiteboul, Vianu, Fordham, Yesha (1998) (Correct)
0.3: Interfacing ASM with the MDG Tool - Gawanmeh, Tahar, Winter (2003) (Correct)
Similar documents based on text: More All
0.1: Infinitary Logic and Inductive Definability over Finite.. - Dawar, Lindell (1995) (Correct)
0.1: Formalizing Database Recovery - Gurevich, Soparkar, Wallace (1997) (Correct)
0.1: Distributed computation of Web queries using automata.. - Spielmann, Van den.. (2002) (Correct)
Related documents from co-citation: More All
3: Relational transducers for electronic commerce - Abiteboul, Vianu et al. - 1998
2: Foundations of databases (context) - Abiteboul, Hull et al. - 1995
BibTeX entry: (Update)
M. Spielmann. Verification of relational transducers for electronic commerce. In Proc. ACM PODS, pages 92--103, 2000. http://citeseer.ist.psu.edu/spielmann00verification.html More
@inproceedings{ spielmann00verification,
author = "Marc Spielmann",
title = "Verification of Relational Transducers for Electronic Commerce",
booktitle = "Symposium on Principles of Database Systems",
pages = "92--103",
year = "2000",
url = "citeseer.ist.psu.edu/spielmann00verification.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
725 Temporal and Modal Logic (context) - Emerson - 1990
379 Complexity of relational query languages (context) - Vardi - 1982
294 Finite Model Theory (context) - Ebbinghaus, Flum - 1995
75 Complexity and Expressive Power of Logic Programming - Dantsin, Eiter et al. - 1997
47 the Complexity of Bounded-Variable Queries (context) - Vardi - 1995
33 Draft of the ASM Guide (context) - Gurevich - 1997
32 Temporal Versus First-Order Logic to Query Temporal Database.. - Abiteboul, Herr et al. - 1996
23 Model Checking and Transitive Closure Logic - Immerman, Vardi - 1997
21 Relational Transducers for Electronic Commerce - Abiteboul, Vianu et al. - 1998
21 Semantics and Expressiveness Issues in Active Databases - Picouet, Vianu - 1998
18 Semantics of Object-Oriented Data Models { The Evolving Alge.. - Gottlob, Kappel et al. - 1991
12 Electronic Commerce: An Overview (context) - Adam, Yesha - 1996
7 An existential fragment of second order logic - Rosen - 1999
5 Evolving Databases: An Application to Electronic Commerce - Fordham, Abiteboul et al. - 1997
3 Automatic Verication of Abstract State Machines (context) - Spielmann - 1999
2 and Satisability in Datalog Extensions (context) - Levy, Mumick et al. - 1993
1 Some Notes on Abstract State Machines (context) - Spielmann
Documents on the same site (http://www-mgi.informatik.rwth-aachen.de/Publications/publicationsAll.html): More
Decision Procedures for Guarded Logics - Grädel (1999) (Correct)
Two-Variable Descriptions of Regularity - Grädel, Rosen (1999) (Correct)
Why Are Modal Logics So Robustly Decidable? - Grädel (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC