Author:
Spruit Paul,Wieringa Roel,Meyer John-Jules
Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. S. Abiteboul, V. Vianu, A transaction language complete for database update and specification, in: Proc. 6th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems, San Diego, CA, March 23–25 1987, pp. 260–268.
2. S. Abiteboul, V. Vianu, Procedural and declarative database update languages, in: Proc. 7th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems, Austin, TX, ACM, New York, March 21–23 1988, pp. 240–250.
3. On the logic theory of change: partial meet contraction and revision functions;Alchourrón;J. Symbolic Logic,1985
4. A.J. Bonner, M. Kifer, Transaction logic programming, Tech. Report CSRI-270, University of Toronto, April 1992.
5. A.J. Bonner, M. Kifer, Transaction logic: an (early) exposé, in: Proc. Workshop on Formal Methods in Databases and Software Engineering, Workshops in Computing Series, Springer, Berlin, 1993.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献