Deciding eventual consistency for a simple class of relational transducer networks

ACM International Conference Proceeding Series

Volumn , Issue , 2012, Pages 86-98

  Ameloot, Tom J ^a   Van Den Bussche, Jan ^a  

^a HASSELT UNIVERSITY   (Belgium)

Author keywords

Cloud programming; Consistency; Decidability; Distributed database; Expressive power; Relational transducer

Indexed keywords

ALL DISTRIBUTED; AUTOMATED VERIFICATION; CONJUNCTIVE QUERIES; CONSISTENCY; DECLARATIVE NETWORKINGS; DISTRIBUTED DATABASE; EVENTUAL CONSISTENCY; EXPRESSIVE POWER; FORMAL MODEL; MESSAGE DELAY;

COMPUTABILITY AND DECIDABILITY; DATABASE SYSTEMS; FORMAL METHODS;

TRANSDUCERS;

EID: 84863895816     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2274576.2274587     Document Type: Conference Paper

References (19)

1. S. Abiteboul, M. Bienvenu, A. Galland, et al. A rule-based language for Web data management. In Proceedings 30th ACM Symposium on Principles of Database Systems, pages 283-292. ACM Press, 2011.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
3. S. Abiteboul, V. Vianu, et al. Relational transducers for electronic commerce. Journal of Computer and System Sciences, 61(2):236-269, 2000.
4. P. Alvaro, N. Conway, J. Hellerstein, and W.R. Marczak. Consistency analysis in Bloom: A CALM and collected approach. In Proceedings 5th Biennial Conference on Innovative Data Systems Research, pages 249-260. www.cidrdb.org, 2011.
5. P. Alvaro, W. Marczak, et al. Dedalus: Datalog in time and space. Technical Report EECS-2009-173, University of California, Berkeley, 2009.
6. T.J. Ameloot, F. Neven, and J. Van den Bussche. Relational transducers for declarative networking. In Proceedings 30th ACM Symposium on Principles of Database Systems, pages 283-292. ACM Press, 2011.
7. T.J. Ameloot and J. Van den Bussche. Deciding eventual consistency of a simple class of relational transducer networks (technical report). http://alpha.uhasselt.be/tom.ameloot/tom/doc/dp7@3c4/icdt2012report.pdf, 2011.
8. A. Deutsch. Personal communication.
9. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In Proceedings 12th International Conference on Database Theory, 2009.
10. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven Web applications. Journal of Computer and System Sciences, 73(3):442-474, 2007.
11. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven Web services. In Proceedings 25th ACM Symposium on Principles of Database Systems, pages 90-99. ACM Press, 2006.
12. S. Grumbach and F. Wang. Netlog, a rule-based language for distributed programming. In M. Carro and R. Peña, editors, Proceedings 12th International Symposium on Practical Aspects of Declarative Languages, volume 5937 of Lecture Notes in Computer Science, pages 88-103, 2010.
13. J.M. Hellerstein. Datalog redux: experience and conjecture. Video available (under the title "The Declarative Imperative") from http://db.cs.berkeley.edu/jmh/. PODS 2010 keynote.
14. J.M. Hellerstein. The declarative imperative: experiences and conjectures in distributed logic. SIGMOD Record, 39(1):5-19, 2010.
15. B.T. Loo et al. Declarative networking. Communications of the ACM, 52(11):87-95, 2009.
16. J.A. Navarro and A. Rybalchenko. Operational semantics for declarative networking. In A. Gill and T. Swift, editors, Proceedings 11th International Symposium on Practical Aspects of Declarative Languages, volume 5419 of Lecture Notes in Computer Science, pages 76-90, 2009.
17. C.H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
18. M. Spielmann. Verification of relational transducers for electronic commerce. Journal of Computer and System Sciences, 66(1):40-65, 2003.
19. W. Vogels. Eventual consistency. Communications of the ACM, 52(1):40-44, 2009.