A rule-based language for web data management

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2011, Pages 293-304

  Abiteboul, Serge ^a   Bienvenu, Meghyn ^b   Galland, Alban ^a   Antoine, Émilien ^a  

^a INRIA SACLAY   (France)

^b CNRS   (France)

Author keywords

Datalog; Delegation; Distribution; Web

Indexed keywords

CENTRALIZED SYSTEMS; DATALOG; DELEGATION; DISTRIBUTED APPLICATIONS; DISTRIBUTED DATA; DISTRIBUTION; NATURAL CONDITIONS; RULE-BASED LANGUAGE; TIME STAMPS; WEB; WEB DATA MANAGEMENT;

DATABASE SYSTEMS; INFORMATION MANAGEMENT; SEMANTICS;

USER INTERFACES;

EID: 79960188328     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1989284.1989320     Document Type: Conference Paper

References (30)

1. S. Abiteboul, Z. Abrams, S. Haar, and T. Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue! In PODS, pages 358-367, 2005. (Pubitemid 43275498)
2. S. Abiteboul, O. Benjelloun, and T. Milo. Positive active xml. In PODS, pages 35-45, 2004.
3. S. Abiteboul, O. Benjelloun, and T. Milo. The active xml project: an overview. The VLDB Journal, 17:1019-1040, 2008.
4. S. Abiteboul, M. Bienvenu, A. Galland, and M.-C. Rousset. Distributed datalog revisited. In Datalog 2.0 Workshop, 2010.
5. S. Abiteboul, A. Galland, and A. Polyzotis. Web information management with access control. In preparation, 2011.
6. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
7. S. Abiteboul, L. Segoufin, and V. Vianu. Static analysis of Active XML systems. In PODS, pages 221-230, 2008.
8. S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43(1):62-124, 1991. (Pubitemid 21680395)
9. P. Alvaro, T. Condie, N. Conway, K. Elmeleegy, J. M. Hellerstein, and R. Sears. Boom analytics: exploring data-centric, declarative programming for the cloud. In EuroSys, pages 223-236, 2010.
10. E. Antoine, A. Galland, K. Lyngbaek, A. Marian, and N. Polyzotis. Social networking on top of the WebdamExchange system. In ICDE, 2011.
11. F. Bancilhon, D. Maier, Y. Sagiv, and J. D. Ullman. Magic sets and other strange ways to implement logic programs. In PODS, pages 1-15, 1986.
12. A. K. Chandra and D. Harel. Horn clauses queries and generalizations. J. Log. Program., 2(1):1-15, 1985.
13. Proceedings of the Datalog 2.0 Workshop, Oxford, 2010.
14. J. Field, M.-C. Marinescu, and C. Stefansen. Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. Theoretical Computer Science, 410(2-3):168-201, 2009.
15. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In ICLP/SLP, pages 1070-1080, 1988.
16. S. Grumbach and F. Wang. Netlog, a rule-based language for distributed programming. In PADL, pages 88-103, 2010.
17. J. Hellerstein. The declarative imperative: experiences and conjectures in distributed logic. ACM SIGMOD Record, 39(1):5-19, 2010.
18. G. Hulin. Parallel processing of recursive queries in distributed architectures. In VLDB, pages 87-96, 1989. (Pubitemid 20694257)
19. G. Lausen, B. LudÃd'scher, and W. May. On Active Deductive Databases: The Statelog Approach, volume 1472 of Lecture Notes in Computer Science, pages 69-106. Birkhauser Basel, 1998. (Pubitemid 128162427)
20. C. Liu, Y. Mao, M. Oprea, P. Basu, and B. T. Loo. A declarative perspective on adaptive manet routing. In PRESTO, pages 63-68, 2008.
21. B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Declarative networking: language, execution and optimization. In SIGMOD, pages 97-108, 2006. (Pubitemid 46946505)
22. B. T. Loo, T. Condie, M. N. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Declarative networking. Commun. ACM, 52(11):87-95, 2009.
23. B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing declarative overlays. SIGOPS Oper. Syst. Rev., 39:75-90, 2005.
24. B. T. Loo, J. M. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative routing: extensible routing with declarative queries. In SIGCOMM, pages 289-300, 2005. (Pubitemid 46323512)
25. J. Navarro and A. Rybalchenko. Operational semantics for declarative networking. In A. Gill and T. Swift, editors, Practical Aspects of Declarative Languages, volume 5418 of Lecture Notes in Computer Science, pages 76-90. Springer Berlin/Heidelberg, 2009.
26. W. Nejdl, S. Ceri, and G. Wiederhold. Evaluating recursive queries in distributed databases. IEEE Trans. Knowl. Data Eng., 5(1):104-121, 1993.
27. T. C. Przymusinski. The well-founded semantics coincides with the three-valued stable semantics. Fundam. Inform., 13(4):445-463, 1990.
28. B. Rossman. On the constant-depth complexity of k-clique. In STOC, pages 721-730, 2008.
29. L. Vieille. Recursive axioms in deductive databases: The query-subquery approach. In Proc. 1st Int. Conf. on Expert Database Systems, pages 179-193, 1986.
30. ERC grant Webdam. http://webdam.inria.fr.