Introducing Access Control in Webdamlog, DBPL -Proceedings of the 14th International Symposium on Database Programming Languages ,
URL : https://hal.archives-ouvertes.fr/hal-00850754
Viewing the Web as a Distributed Knowledge Base, 2012 IEEE 28th International Conference on Data Engineering ,
DOI : 10.1109/ICDE.2012.150
URL : https://hal.archives-ouvertes.fr/hal-00703210
A rule-based language for web data management, Proceedings of the 30th symposium on Principles of database systems of data, PODS '11, 2011. ,
DOI : 10.1145/1989284.1989320
URL : https://hal.archives-ouvertes.fr/inria-00582891
Rule-based application development using Webdamlog, Proceedings of the 2013 international conference on Management of data, SIGMOD '13 ,
DOI : 10.1145/2463676.2465251
URL : https://hal.archives-ouvertes.fr/hal-00817791
Amélie Marian, and Neoklis Polyzotis. Social networking on top of the webdamexchange system, ICDE -Proceeedings of the 28th IEEE International Conference on Data Engineering ,
The webdamlog system managing distributed knowledge on the web ,
URL : https://hal.archives-ouvertes.fr/hal-00805797
A declarative semantics for dedalus, 2011. ,
Diagnosis of asynchronous discrete event systems, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '05, 2005. ,
DOI : 10.1145/1065167.1065214
URL : https://hal.archives-ouvertes.fr/inria-00638322
Diagnosis of asynchronous discrete event systems, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '05, 2005. ,
DOI : 10.1145/1065167.1065214
URL : https://hal.archives-ouvertes.fr/inria-00638322
Logic in Access Control (Tutorial Notes), Foundations of Security Analysis and Design V, 2009. ,
DOI : 10.1145/174613.174614
Active XML, Security and Access Control, SBBD, 2004. ,
Managing an XML Warehouse in a P2P Context, CAiSE, 2003. EXTERNAL REFERENCES ,
DOI : 10.1007/3-540-45017-3_3
Sciences des donn??es??: de la logique du premier ordre ?? la Toile, Leçons inaugurales du Collège de France. Fayard, 2012. ,
DOI : 10.4000/books.cdf.529
Positive active XML, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, 2004. ,
DOI : 10.1145/1055558.1055564
The Active XML project: an overview, The VLDB Journal, vol.7, issue.4, 2008. ,
DOI : 10.1007/s00778-007-0049-y
Efficient maintenance techniques for views over active documents, Proceedings of the 12th International Conference on Extending Database Technology Advances in Database Technology, EDBT '09, 2009. ,
DOI : 10.1145/1516360.1516483
URL : https://hal.archives-ouvertes.fr/inria-00429637
AXART, Proc. VLDB Endow, 2010. ,
DOI : 10.14778/1920841.1921036
URL : https://hal.archives-ouvertes.fr/inria-00521726
Data on the Web: from relations to semistructured data and XML, 2000. ,
Boom analytics: exploring data-centric, declarative programming for the cloud, Proceedings of the 5th European conference on Computer systems, EuroSys '10, 2010. ,
Distributed reasoning in a peer-to-peer setting: Application to the semantic web, J. Artif. Intell. Res, p.25, 2006. ,
Consistency analysis in bloom: a calm and collected approach, CIDR, 2011. ,
Managing trust in a peer-2-peer information system, Proceedings of the tenth international conference on Information and knowledge management , CIKM'01, 2001. ,
DOI : 10.1145/502585.502638
Putting lipstick on pig, Proceedings of the VLDB Endowment, vol.5, issue.4, 2011. ,
DOI : 10.14778/2095686.2095693
Datalog vs first-order logic, Proceedings of the 30th IEEE symposium on Foundations of computer science, 1994. ,
DOI : 10.1016/s0022-0000(05)80071-6
URL : http://doi.org/10.1016/s0022-0000(05)80071-6
Modeling the mashup space, Proceeding of the 10th ACM workshop on Web information and data management, WIDM '08, 2008. ,
DOI : 10.1145/1458502.1458517
A model for web information management with access control, 14th International Workshop on the Web and Databases, 2011. ,
Semantic web for the working ontologist: modeling in RDF, RDFS and OWL, 2008. ,
Foundations of Databases, 1995. ,
Ubiquest, a data-centric approach for networking applications, DATA, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01002688
Messages with implicit destinations as mobile agents languages and applications based on actors, agents, and decentralized control abstractions, AGERE! '12, Proceedings of the 2nd edition on Programming systems Yehoshua Sagiv, and Pierre Senellart. On the expressiveness of probabilistic XML models. The VLDB Journal, 2009. ,
Dedalus: datalog in time and space, Proceedings of the First international conference on Datalog Reloaded, Datalog'10, 2011. ,
Constructing and Querying Peer-to-Peer Warehouses of XML Resources, Semantic Web and Databases. IEEE, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00689347
Neoklis Polyzotis, Nicoleta Preda, and Chong Sun. XML processing in DHT networks, ICDE '08: Proceedings of the 2008 IEEE 24th International Conference on Data Engineering, 2008. ,
Web Data Management, 2011. ,
DOI : 10.1017/CBO9780511998225
URL : https://hal.archives-ouvertes.fr/hal-00847933
The data ring: Community content sharing, CIDR, 2007. ,
The data ring: Community content sharing, Conference on Innovative Data Systems Research (CIDR), 2007. ,
The Lorel query language for semistructured data, International Journal on Digital Libraries, vol.1, issue.1, 1997. ,
Static analysis of active XML systems, ACM Trans. Database Syst, vol.34, 2009. ,
Datalog extensions for database queries and updates, Journal of Computer and System Sciences, vol.43, issue.1, 1991. ,
DOI : 10.1016/0022-0000(91)90032-Z
URL : https://hal.archives-ouvertes.fr/inria-00075656
A Semantic Web PrimerCooperative Information Systems), 2008. ,
A trust based approach for protecting user data in social networks, Proceedings of the 2007 conference of the center for advanced studies on Collaborative research , CASCON '07, 2007. ,
DOI : 10.1145/1321211.1321251
Active-U-Datalog: Integrating active rules in a logical update language, Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, 1998. ,
DOI : 10.1007/BFb0055497
Design and Semantics of a Decentralized Authorization Language, 20th IEEE Computer Security Foundations Symposium (CSF'07), 2007. ,
DOI : 10.1109/CSF.2007.18
Reliable Distributed Systems: Technologies, Web Services, and Applications, 2005. ,
Holistic twig joins, Proceedings of the 2002 ACM SIGMOD international conference on Management of data , SIGMOD '02, 2002. ,
DOI : 10.1145/564691.564727
WorldWideWeb: Proposal for a hypertexts project, 1990. ,
Foaf vocabulary specification 0.98 Magic sets and other strange ways to implement logic programs (extended abstract), Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, PODS '86, 1986. ,
Reasoning about XACML policies using CSP, Proceedings of the 2005 workshop on Secure web services , SWS '05, 2005. ,
DOI : 10.1145/1103022.1103028
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.1935
PeerSoN: P2P social networking, Proceedings of the Second ACM EuroSys Workshop on Social Network Systems, SNS '09, 2009. ,
DOI : 10.1145/1578002.1578010
Provenance in databases, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, 2007. ,
DOI : 10.1145/1247480.1247646
Hellerstein, and Petros Maniatis. Evita raced: metacompilation for declarative networks, Proc. VLDB Endow, vol.1, issue.1, 2008. ,
Bigtable, ACM Transactions on Computer Systems, vol.26, issue.2, 2008. ,
DOI : 10.1145/1365815.1365816
Horn clause queries and generalizations, The Journal of Logic Programming, vol.2, issue.1, 1985. ,
HiLog: A foundation for higher-order logic programming, The Journal of Logic Programming, vol.15, issue.3, 1993. ,
DOI : 10.1016/0743-1066(93)90039-J
The birth of prolog In The second ACM SIGPLAN conference on History of programming languages, HOPL-II, 1993. ,
Freenet: A Distributed Anonymous Information Storage and Retrieval System, Designing Privacy Enhancing Technologies, 2001. ,
DOI : 10.1007/3-540-44702-4_4
Dynamo: amazon's highly available key-value store, Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, p.7, 2007. ,
The Semantics of Predicate Logic as a Programming Language, Journal of the ACM, vol.23, issue.4, 1976. ,
DOI : 10.1145/321978.321991
From databases to dataspaces, ACM SIGMOD Record, vol.34, issue.4, 2005. ,
DOI : 10.1145/1107499.1107502
Reasoning about knowledge, 2003. ,
The inference problem, ACM SIGKDD Explorations Newsletter, vol.4, issue.2, 2002. ,
DOI : 10.1145/772862.772864
Patterns of Enterprise Application Architecture, 2002. ,
Distributed data management with access control : social Networks and Data of the Web. These, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00640725
Update exchange with mappings and provenance, Proceedings of the 33rd international conference on Very large data bases, VLDB '07. VLDB Endowment, 2007. ,
Provenance in orchestra, IEEE Data Eng. Bull, vol.33, issue.3, 2010. ,
The stable model semantics for logic programming, ICLP/SLP, 1988. ,
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, 2002. ,
DOI : 10.1145/564585.564601
Netlog, a Rule-Based Language for Distributed Programming, PADL, 2010. ,
DOI : 10.1007/978-3-642-11503-5_9
The declarative imperative: experiences and conjectures in distributed logic Facilitating Workflow Interoperation Using Artifact-Centric Hubs, Service-Oriented Computing, 2009. ,
Parallel processing of recursive queries in distributed architectures, Proceedings of the 15th international conference on Very large data bases, VLDB '89, 1989. ,
A framework for supporting data integration using the materialized and virtual approaches, SIGMOD '96: Proceedings of the 1996 ACM SIGMOD international conference on Management of data, 1996. ,
Knowlog: A Declarative Language for Reasoning about Knowledge in Distributed Systems, 2012. ,
DOI : 10.1007/978-3-642-34002-4_47
Sql 3 specification, 1999. ,
BATON: a balanced tree structure for peer-to-peer networks, Proceedings of the 31st international conference on Very large data bases, VLDB '05. VLDB Endowment, 2005. ,
Distributed Identity Management with Access Rights Delegation The Semantic Web ? ASWC Rule interchange format: The framework, Web Reasoning and Rule Systems, 2006. ,
Querying data provenance, Proceedings of the 2010 international conference on Management of data, SIGMOD '10, 2010. ,
DOI : 10.1145/1807167.1807269
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.2019
Consistent hashing and random trees, Proceedings of the twenty-ninth annual ACM symposium on Theory of computing , STOC '97, 1997. ,
DOI : 10.1145/258533.258660
Logical foundations of object-oriented and frame-based languages, Journal of the ACM, vol.42, issue.4, 1995. ,
DOI : 10.1145/210332.210335
Schema mappings, data exchange, and metadata management, PODS '05: Proceedings of the twentyfourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, 2005. ,
Distributing a search tree among a growing number of processors, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, SIGMOD '94, 1994. ,
Declarative networking: language, execution and optimization, SIGMOD, 2006. ,
Hellerstein, Petros Maniatis , Timothy Roscoe, and Ion Stoica. Implementing declarative overlays, SIGOPS Oper. Syst. Rev, vol.39, issue.5, 2005. ,
OpenRuleBench, Proceedings of the 18th international conference on World wide web, WWW '09, 2009. ,
DOI : 10.1145/1526709.1526790
Declarative routing: extensible routing with declarative queries, SIGCOMM Comput. Commun. Rev, vol.35, 2005. ,
Dbpedia -a large-scale, multilingual knowledge base extracted from wikipedia, Semantic Web Journal, 2013. ,
Linear hashing: a new tool for file and table addressing, Proceedings of the sixth international conference on Very Large Data Bases -Volume 6. VLDB Endowment, 1980. ,
On active deductive databases: The statelog approach, Transactions and Change in Logic Databases, 1998. ,
DOI : 10.1007/BFb0055496
Optimizing distributed data bases, Proceedings of the May 19-22, 1975, national computer conference and exposition on, AFIPS '75, p.75, 1975. ,
DOI : 10.1145/1499949.1500042
A declarative perspective on adaptive manet routing, Proceedings of the ACM workshop on Programmable routers for extensible services of tomorrow, PRESTO '08, 2008. ,
RP*: A Family of Order Preserving Scalable Distributed Data Structures, Proceedings of the 20th International Conference on Very Large Data Bases, VLDB '94, 1994. ,
LH*---a scalable, distributed data structure, ACM Transactions on Database Systems, vol.21, issue.4, 1996. ,
DOI : 10.1145/236711.236713
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.1380
Recursive computation of regions and connectivity in networks EXTERNAL REFERENCES [Lud98] Bertram Ludäscher. Integration of Active and Deductive Database Rules, ICDE, 1998. ,
Confluence analysis for distributed programs: a model-theoretic approach, Proceedings of the Second international conference on Datalog in Academia and Industry, 2012. ,
The Open Provenance Model: An Overview, Provenance and Annotation of Data and Processes, pp.978-981, 1007. ,
DOI : 10.1007/978-3-540-89965-5_31
Boon Thau Loo, and Molham Aref. Secureblox: customizable secure distributed data processing, Proceedings of the 2010 ACM SIGMOD International Conference on Management of data, 2010. ,
Scale-up x Scale-out: A Case Study using Nutch/Lucene, 2007 IEEE International Parallel and Distributed Processing Symposium, 2007. ,
DOI : 10.1109/IPDPS.2007.370631
Cryptographically Enforced Conditional Access for XML, Fifth International Workshop on the Web and Databases (WebDB, 2002. ,
Controlling Access to Published Data Using Cryptography, VLDB '2003: Proceedings of the 29th international conference on Very large data bases. VLDB Endowment, 2003. ,
DOI : 10.1016/B978-012722442-8/50084-7
CyLog/Crowd4U, Proceedings of the VLDB Endowment, vol.5, issue.12, 2012. ,
DOI : 10.14778/2367502.2367537
Declarative Reconfigurable Trust Management, Conference on Innovative Data Systems Research (CIDR), 2008. ,
Business artifacts: An approach to operational specification, IBM Systems Journal, vol.42, issue.3, 2003. ,
DOI : 10.1147/sj.423.0428
A probabilistic trust model for semantic peer to peer systems, Proceedings of the 2008 international workshop on Data management in peer-to-peer systems, DaMaP '08, 2008. ,
DOI : 10.1145/1379350.1379359
URL : https://hal.archives-ouvertes.fr/hal-00641999
Evaluating recursive queries in distributed databases, IEEE Transactions on Knowledge and Data Engineering, vol.5, issue.1, 1993. ,
DOI : 10.1109/69.204095
Operational Semantics for Declarative Networking, Practical Aspects of Declarative Languages, 2009. ,
DOI : 10.1109/TSE.2005.23
Web services business process execution language version 2.0, 2007. ,
Principles of Distributed Database Systems, 1999. ,
Cardinality Abstraction for Declarative Networking Applications, CAV '09: Proceedings of the 21st International Conference on EXTERNAL REFERENCES Computer Aided Verification, 2009. ,
DOI : 10.1007/978-3-642-02658-4_43
The well-founded semantics coincides with the three-valued stable semantics, Fundam. Inform, vol.13, issue.4, 1990. ,
Evaluating very large datalog queries on social networks, Proceedings of the 12th International Conference on Extending Database Technology Advances in Database Technology, EDBT '09, 2009. ,
DOI : 10.1145/1516360.1516427
Reactor: An object behavioral pattern for concurrent event demultiplexing and dispatching, 1995. ,
Yago: a core of semantic knowledge, Proceedings of the 16th international conference on World Wide Web, WWW '07, 2007. ,
Database partitioning in a cluster of processors, ACM Transactions on Database Systems, vol.10, issue.1, 1985. ,
DOI : 10.1145/3148.3161
Recursive axioms in deductive databases: The query-subquery approach, Proc. 1st Int. Conf. on Expert Database Systems, 1986. ,
Rdf primer standard, 2004. ,
Xml schema part 0: Primer standard, 2004. ,
Soap version 1.2 part 1: Messaging framework (second edition ) standard. http://www.w3, pp.12-13, 2007. ,
Extensible markup language (xml) 1.0 standard, 2008. ,
Xml signature syntax and processing (second edition) standard, 2008. ,
A Survey of Peer-to-Peer Security Issues, Software Security ? Theories and Systems, 2003. ,
DOI : 10.1007/3-540-36532-X_4
A database authorization mechanism supporting individual and group authorization, Distributed data sharing systems: proceedings of the Second International Seminar on Distributed Data Sharing Systems, 1982. ,
Truth discovery with multiple conflicting information providers on the web, EXTERNAL REFERENCES ,
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine, International Conference on Computational Logic, 2000. ,
DOI : 10.1007/3-540-44957-4_72
Flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web, Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE, 2003. ,
NetTrails, Proceedings of the 2011 international conference on Management of data, SIGMOD '11, 2011. ,
DOI : 10.1145/1989323.1989488
Efficient querying and maintenance of network provenance at internet-scale, Proceedings of the 2010 international conference on Management of data, SIGMOD '10, 2010. ,
DOI : 10.1145/1807167.1807234