M. Spielmann. Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci., 66:40--65, 2003. Home/Search Document Details and Download
Summary ACM TOC Related Articles Check |
This paper is cited in the following contexts:
Towards First-Order Temporal Resolution - Degtyarev, Fisher (4 citations) (Correct)
....by the fact that if we slightly extend its boundaries admitting a binary relation in the step rules then its recursive enumerability will be lost. The second 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 follows from the complete separation of the classical first order component. As a result classical first order resolution can be applied as a basic tool in the ....
M. Spielmann. Verification of relational transducers for electronic commerce. In Proceedings of 19th Symposium on Database Systems (PODS'2000), pages 92--103, Dallas, Texas, 2000. ACM Press.
A Web Odyssey: from Codd to XML - Vianu (2001) (29 citations) (Correct)
....y) and deliver(x) In the process it may consult relation price, and update the state information. A run of a transducer consists of a sequence of inputs and 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 example, one might wish to verify that it is possible to achieve the goal deliver(x) as long as 9y price(x; y) holds in the database. In general, however, the ....
M. Spielmann. Verification of relational transducers for electronic commerce. In Proc. ACM PODS, pages 92--103, 2000.
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
No context found.
M. Spielmann. Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci., 66:40--65, 2003.
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