Relational transducers for declarative networking

Journal of the ACM

Volumn 60, Issue 2, 2013, Pages

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

^a HASSELT UNIVERSITY   (Belgium)

Author keywords

Cloud programming; Distributed database; Expressive power; Monotonicity; Relational transducer

Indexed keywords

COMPUTATION MODEL; DECLARATIVE NETWORKINGS; DISTRIBUTED DATABASE; EXPRESSIVE POWER; FORMAL DEFINITION; MONOTONICITY; SEMANTIC PROPERTIES;

QUERY PROCESSING; SEMANTICS; TRANSDUCERS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84877880676     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/2450142.2450151     Document Type: Conference Paper

References (32)

1. th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. 293-304.
2. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley.
3. ABITEBOUL, S. AND SIMON, E. 1991. Fundamental properties of deterministic and nondeterministic extensions of datalog. Theor. Comput. Sci. 78, 137-158.
4. ABITEBOUL, S. AND VIANU, V. 1991a. Datalog extensions for database queries and updates. J. Comput. Syst. Sci. 43, 62-124.
5. rd Annual ACM Symposium on the Theory of Computing. 209-219.
6. ABITEBOUL, S. AND VIANU, V. 1995. Computing with first-order logic. J. Comput. Syst. Sci. 50, 2, 309-335.
7. ABITEBOUL, S., VIANU, V., FORDHAM, B. S., AND YESHA, Y. 2000. Relational transducers for electronic commerce. J. Comput. Syst. Sci. 61, 2, 236-269.
8. AFRATI, F. N., COSMADAKIS, S. S., AND YANNAKAKIS, M. 1995. On datalog vs polynomial time. J. Comput. Syst. Sci. 51, 2, 177-196.
9. th Biennial Conference on Innovative Data Systems Research. 249-260.
10. st International Workshop on Datalog Reloaded 2010 Revised Selected Papers. O. de Moor, G. Gottlob, T. Furche, and A. Sellers, Eds., Lecture Notes in Computer Science, vol. 6702, Springer, 262-281.
11. th ACM Symposium on Principles of Database Systems. ACM Press, New York, 283-292.
12. th International Conference on Database Theory. ACM Press, New York, 86-98.
13. nd International Workshop on Datalog in Academia and Industry, P. Barcelo and R. Pichler, Eds., Lecture Notes in Computer Science, vol. 7494, Springer, 44-55.
14. APT, K. R., FRANCEZ, N., AND KATZ, S. 1988. Appraising fairness in languages for distrubuted programming. Distrib. Comput. 2, 4, 226-241.
15. ATTIYA, H. AND WELCH, J. 2004. Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley.
16. BLASS, A., GUREVICH, Y., AND VAN DEN BUSSCHE, J. 2002. Abstract state machines and computationally complete query languages. Inf. Comput. 174, 1, 20-36.
17. th International Conference on Database Theory. 252-267.
18. DEUTSCH, A., SUI, L., AND VIANU, V. 2007. Specification and verification of data-driven web applications. J. Comput. Syst. Sci. 73, 3, 442-474.
19. th ACM Symposium on Principles of Database Systems. ACM Press, New York, 90-99.
20. EUGSTER, P. T., GUERRAOUI, R., KERMARREC, A.-M., AND MASSOULIE, L. 2004. From epidemics to distributed computing. IEEE Comput. 37, 60-67.
21. FRANCEZ, N. 1986. Fairness. Springer, New York.
22. GRAY, J. 1978. Notes on database operating systems. In An Advanced Course-Operating Systems, Lecture Notes in Computer Science, vol. 60, Springer, 393-481.
23. th International Symposium on Practical Aspects of Declarative Languages, M. Carro and R. Pena, Eds., Lecture Notes in Computer Science, vol. 5937, Springer, 88-103.
24. th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'10). 1-2.
25. HELLERSTEIN, J. M. 2010b. The declarative imperative: Experiences and conjectures in distributed logic. SIGMOD Rec. 39, 1, 5-19.
26. LAMPORT, L. 2000. Fairness and hyperfairness. Distrib. Comput. 13, 4, 239-245.
27. LOO, B. T., CONDIE, T., GAROFALAKIS, M., GAY, D. E., HELLERSTEIN, J. M., MANIATIS, P., RAMAKRISHNAN, R., ROSCOE, T., AND STOICA, I. 2009. Declarative networking. Comm. ACM 52, 11, 87-95.
28. LOO, B. T., CONDIE, T., GAROFALAKIS, M., GAY, D. E., HELLERSTEIN, J. M., MANIATIS, P., RAMAKRISHNAN, R., ROSCOE, T., AND STOICA, I. 2006. Declarative networking: Language, execution and optimization. In Proceedings of the ACM SIGMOD International Conference on Management of Data. S. Chaudhuri, V. Hristidis, N. Polyzotis, Eds., ACM Press, New York, 97-108.
29. NIGAM, V., JIA, L., LOO, B. T., AND SCEDROV, A. 2012. Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. 38, 2, 158-180.
30. SPIELMANN, M. 2003. Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66, 1, 40-65.
31. VAN DEN BUSSCHE, J. AND CABIBBO, L. 1998. Converting untyped formulas into typed ones. Acta Inf. 35, 8, 637-643.
32. th International Conference on Database Theory. ACM Press, New York, 99-113.