Verification of relational transducers for electronic commerce
暂无分享,去创建一个
[1] Marc Spielmann,et al. Abstract state machines: verification problems and complexity , 2000 .
[2] Egon Börger,et al. Abstract State Machines 1988-1998: Commented ASM Bibliography , 1998, Bull. EATCS.
[3] Yelena Yesha,et al. Electronic Commerce: An Overview , 1994, Electronic Commerce.
[4] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[5] Alon Y. Halevy,et al. Equivalence, query-reachability and satisfiability in Datalog extensions , 1993, PODS '93.
[6] Michael Schrefl,et al. Semantics of Object-Oriented Data Models - The Evolving Algebra Approach , 1990, East/West Database Workshop.
[7] Jörg Flum,et al. Finite model theory , 1995, Perspectives in Mathematical Logic.
[8] Moshe Y. Vardi. On the Complexity of Bounded-Variable Queries. , 1995, PODS 1995.
[9] Moshe Y. Vardi. On the complexity of bounded-variable queries (extended abstract) , 1995, PODS '95.
[10] Moshe Y. Vardi. The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.
[11] Eric Rosen,et al. An existential fragment of second order logic , 1999, Arch. Math. Log..
[12] Marc Spielmann. Automatic Verification of Abstract State Machines , 1999, CAV.
[13] Serge Abiteboul,et al. Relational transducers for electronic commerce , 1998, J. Comput. Syst. Sci..
[14] Serge Abiteboul,et al. Evolving databases: an application to electronic commerce , 1997, Proceedings of the 1997 International Database Engineering and Applications Symposium (Cat. No.97TB100166).
[15] Georg Gottlob,et al. Complexity and expressive power of logic programming , 2001, CSUR.
[16] Neil Immerman,et al. Model Checking and Transitive-Closure Logic , 1997, CAV.
[17] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.
[18] Victor Vianu,et al. Semantics and Expressiveness Issues in Active Databases , 1998, J. Comput. Syst. Sci..
[19] Egon Börger. Specification and validation methods , 1995 .
[20] Serge Abiteboul,et al. Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases , 1999, J. Comput. Syst. Sci..