Bibliography
Major publications by the team in recent years
-
1S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset, P. Senellart.
Web Data Management, Cambridge University Press, 2012, 456 p.
http://hal.inria.fr/hal-00677720 -
2S. Abiteboul, L. Segoufin, V. Vianu.
Static Analysis of Active XML Systems, in: ACM Transactions on Database Systems, 2009, vol. 34, no 4. -
3P. Barceló, L. Libkin, A. Poggi, C. Sirangelo.
XML with incomplete information, in: J. ACM, 2010, vol. 58, no 1. -
4M. Bojanczyk, L. Segoufin, H. Straubing.
Piecewise testable tree languages, in: Logical Methods in Computer Science (LMCS), 2012, vol. 8, no 3. -
5M. Bojańczyk, C. David, A. Muscholl, T. Schwentick, L. Segoufin.
Two-variable logic on words with data, in: ACM Trans. on Computational Logic (ToCL), 2011, vol. 12, no 4. -
6M. Bojańczyk, A. Muscholl, Th. Schwentick, L. Segoufin.
Two-variable logic on data trees and applications to XML reasoning, in: Journal of the ACM, 2009, vol. 56, no 3. -
7Balder ten. Cate, L. Segoufin.
Transitive Closure Logic, Nested Tree Walking Automata, and XPath, in: Journal of the ACM, 2010, vol. 57, no 3. -
8B. Cautis, S. Abiteboul, T. Milo.
Reasoning about XML update constraints, in: Journal of Computer and System Sciences, 2009, vol. 75, no 6, pp. 336-358. -
9L. Libkin, C. Sirangelo.
Reasoning about XML with temporal logics and automata, in: Journal of Applied Logic, 2010, vol. 8, no 2, pp. 210-232.
http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/LS-jal10.pdf -
10L. Libkin, C. Sirangelo.
Data exchange and schema mappings in open and closed worlds, in: Journal of Computer System Sciences (JCSS), 2011.
Doctoral Dissertations and Habilitation Theses
-
11É. Antoine.
Gestion des données distribuées avec le langage de règles: Webdamlog, Université Paris Sud - Paris XI, December 2013.
http://hal.inria.fr/tel-00908155 -
12W. Kazana.
l'évaluation de requêtes avec un délai constant, École normale supérieure de Cachan - ENS Cachan, September 2013.
http://hal.inria.fr/tel-00908434
Articles in International Peer-Reviewed Journals
-
13S. Abiteboul, Y. Katsis, B. T. Cate.
On the equivalence of distributed systems with queries and communication, in: Journal of Computer and System Sciences, 2013.
http://hal.inria.fr/hal-00879029 -
14B. T. Cate, L. Segoufin.
Unary negation, in: Logical Methods in Computer Science, 2013, vol. 9, no 3.
http://hal.inria.fr/hal-00904567 -
15W. Kazana, L. Segoufin.
Enumeration of monadic second-order queries on trees, in: ACM Transactions on Computational Logic, 2013, vol. 14, no 4.
http://hal.inria.fr/hal-00916400
Articles in National Peer-Reviewed Journals
-
16S. Abiteboul.
Vers une nouvelle science des risques ?, in: Risques, September 2013.
http://hal.inria.fr/hal-00908090
Invited Conferences
-
17S. Abiteboul.
Les connaissances de la toile, in: Cultures numériques, éducation aux médias et à l'information, Lyon, France, Scéron Edition, May 2013.
http://hal.inria.fr/hal-00915477 -
18A. Gheerbrant, L. Libkin, C. Sirangelo.
Reasoning About Pattern-Based XML Queries, in: RR - 7th International Conference on Web Reasoning and Rule Systems, 2013, Mannheim, Germany, July 2013.
http://hal.inria.fr/hal-00908414 -
19L. Segoufin.
Enumerating with constant delay the answers to a query, in: Intl. Conf. on Database Theory, Genes, Italy, March 2013.
http://hal.inria.fr/hal-00907085
International Conferences with Proceedings
-
20S. Abiteboul, É. Antoine, G. Miklau, J. Stoyanovich, J. Testard.
Rule-Based Application Development using Webdamlog, in: SIGMOD - Special Interest Group on Management Of Data, New York, United States, 2013.
http://hal.inria.fr/hal-00817791 -
21S. Abiteboul, É. Antoine, G. Miklau, J. Stoyanovich, V. Zaychik Moffitt.
Introducing Access Control in Webdamlog, in: DBPL - 14th International Symposium on Database Programming Languages - 2013, Riva del Garda, Trento, Italy, 2013.
http://hal.inria.fr/hal-00850754 -
22S. Abiteboul, P. Bourhis, A. Muscholl, Z. Wu.
Recursive queries on trees and data trees, in: Proceedings of the 16th International Conference on Database Theory, Genoa, Italy, 2013.
http://hal.inria.fr/hal-00809297 -
23S. Abiteboul, D. Deutch, V. Vianu.
Deduction with Contradictions in Datalog, in: International Conference on Database Theory, Athens, Greece, 2014.
http://hal.inria.fr/hal-00923265 -
24S. Abiteboul, V. Vianu.
Collaborative data-driven workflows: think global, act local, in: Proceedings of the 32nd symposium on Principles of database systems, New York, NY, USA, United States, ACM, 2013, pp. 91–102. [ DOI : 10.1145/2463664.2463672 ]
http://hal.inria.fr/hal-00840306 -
25M. Bojańczyk, L. Segoufin, S. Toruńczyk.
Verification of database-driven systems via amalgamation, in: ACM conf. on Principle of Database Systems (PODS), New-York, United States, June 2013, pp. 63-74.
http://hal.inria.fr/hal-00908771 -
26A. Gheerbrant, L. Libkin, C. Sirangelo.
When is Naïve Evaluation Possible?, in: PODS - 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013, New York, United States, June 2013.
http://hal.inria.fr/hal-00908404 -
27W. Kazana, L. Segoufin.
Enumeration of first-order queries on classes of structures with bounded expansion, in: ACM conf. on Principle of Database Systems (PODS), New-York, United States, 2013, pp. 297-308.
http://hal.inria.fr/hal-00908779
Internal Reports
-
28S. Abiteboul, É. Antoine, J. Stoyanovich.
The Webdamlog System Managing Distributed Knowledge on the Web, April 2013.
http://hal.inria.fr/hal-00813300