Bibliography

Major publications by the team in recent years

• 1A. Amarilli, P. Bourhis, P. Senellart.
  
  Tractable Lineages on Treelike Instances: Limits and Extensions, in: PODS (Principles of Database Systems), San Francisco, United States, June 2016, pp. 355-370.
  
  https://hal-institut-mines-telecom.archives-ouvertes.fr/hal-01336514
• 2M. Benedikt, P. Bourhis, M. Vanden Boom.
  
  A Step Up in Expressiveness of Decidable Fixpoint Logics, in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, United States, July 2016.
  
  https://hal.inria.fr/hal-01413890
• 3A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  
  Automata for Unordered Trees, in: Information and Computation, July 2016. [ DOI : 10.1016/j.ic.2016.07.012 ]
  
  https://hal.inria.fr/hal-01179493
• 4A. Bonifati, R. Ciucanu, S. Staworko.
  
  Learning Join Queries from User Examples, in: ACM Transactions on Database Systems, February 2016, vol. 40, n^o 4, pp. 24:1–24:38.
  
  https://hal.inria.fr/hal-01187986
• 5P. Bourhis, M. Benedikt, B. Ten Cate, G. Puppis.
  
  Querying Visible and Invisible Information, in: LICS 2016 - 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York City, United States, July 2016, pp. 297-306. [ DOI : 10.1145/2933575.2935306 ]
  
  https://hal.archives-ouvertes.fr/hal-01411118
• 6P. Bourhis, M. Krötzsch, S. Rudolph.
  
  Reasonable Highly Expressive Query Languages, in: IJCAI, Buenos Aires, Argentina, July 2015, IJCAI-2015 Honorable Mention. [ DOI : 10.1007/978-3-662-47666-6_5 ]
  
  https://hal.inria.fr/hal-01211282
• 7P. Bourhis, C. Lutz.
  
  Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics, in: Principles of Knowledge Representation and Reasoning, Cape Town, South Africa, April 2016.
  
  https://hal.inria.fr/hal-01413887
• 8P. Buneman, S. Staworko.
  
  RDF Graph Alignment with Bisimulation, in: VLDB 2016 - 42nd International Conference on Very Large Databases, New Dehli, India, Proceedings of the VLDB Endowment, September 2016, vol. 9, n^o 12, pp. 1149 - 1160. [ DOI : 10.14778/2994509.2994531 ]
  
  https://hal.inria.fr/hal-01417156
• 9D. Debarbieux, O. Gauwin, J. Niehren, T. Sebastian, M. Zergaoui.
  
  Early Nested Word Automata for XPath Query Answering on XML Streams, in: Theoretical Computer Science, March 2015, n^o 578, pp. 100-127.
  
  https://hal.inria.fr/hal-00966625
• 10S. Staworko, I. Boneva, J. E. Labra Gayo, S. Hym, E. G. Prud'hommeaux, H. Solbrig.
  
  Complexity and Expressiveness of ShEx for RDF, in: 18th International Conference on Database Theory (ICDT 2015), Brussels, Belgium, M. Arenas, M. Ugarte (editors), 18th International Conference on Database Theory (ICDT 2015), March 2015. [ DOI : 10.4230/LIPIcs.ICDT.2015.195 ]
  
  https://hal.archives-ouvertes.fr/hal-01218552

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 11A. Boiret.
  
  Normalization and Learning of Transducers on Trees and Words, Université de Lille, November 2016.
  
  https://tel.archives-ouvertes.fr/tel-01396543
• 12T. Sebastian.
  
  Evaluation of XPath Queries on XML Streams with Networks of Early Nested Word Automata, Universite Lille 1, June 2016.
  
  https://hal.inria.fr/tel-01342511

Articles in International Peer-Reviewed Journals

• 13G. Bagan, A. Bonifati, R. Ciucanu, G. Fletcher, A. Lemay, N. Advokaat.
  
  Generating Flexible Workloads for Graph Databases, in: Proceedings of the VLDB Endowment (PVLDB), June 2016.
  
  https://hal.inria.fr/hal-01330111
• 14G. Bagan, A. Bonifati, R. Ciucanu, G. Fletcher, A. Lemay, N. Advokaat.
  
  gMark: Schema-Driven Generation of Graphs and Queries, in: IEEE Transactions on Knowledge and Data Engineering, November 2016.
  
  https://hal.inria.fr/hal-01402575
• 15A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  
  Automata for Unordered Trees, in: Information and Computation, July 2016. [ DOI : 10.1016/j.ic.2016.07.012 ]
  
  https://hal.inria.fr/hal-01179493
• 16A. Bonifati, R. Ciucanu, S. Staworko.
  
  Learning Join Queries from User Examples, in: ACM Transactions on Database Systems, February 2016, vol. 40, n^o 4, pp. 24:1–24:38.
  
  https://hal.inria.fr/hal-01187986
• 17P. Bourhis, C. Riveros, S. Staworko, G. Puppis.
  
  Bounded Repairability for Regular Tree Languages, in: ACM Transactions on Database Systems, June 2016, vol. 41, n^o 3, pp. 1-45. [ DOI : 10.1145/2898995 ]
  
  https://hal.archives-ouvertes.fr/hal-01411116

International Conferences with Proceedings

• 18S. Abiteboul, P. Bourhis, V. Vianu.
  
  A formal study of collaborative access control in distributed datalog, in: ICDT 2016 - 19th International Conference on Database Theory, Bordeaux, France, W. Martens, T. Zeume (editors), March 2016.
  
  https://hal.inria.fr/hal-01290497
• 19A. Amarilli, M. Benedikt, P. Bourhis, M. Vanden Boom.
  
  Query Answering with Transitive and Linear-Ordered Data, in: Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, United States, July 2016.
  
  https://hal.inria.fr/hal-01413881
• 20A. Amarilli, P. Bourhis, P. Senellart.
  
  Tractable Lineages on Treelike Instances: Limits and Extensions, in: PODS (Principles of Database Systems), San Francisco, United States, June 2016, pp. 355-370.
  
  https://hal-institut-mines-telecom.archives-ouvertes.fr/hal-01336514
• 21M. Benedikt, P. Bourhis, M. Vanden Boom.
  
  A Step Up in Expressiveness of Decidable Fixpoint Logics, in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, United States, July 2016.
  
  https://hal.inria.fr/hal-01413890
• 22A. Boiret.
  
  Normal Form on Linear Tree-to-word Transducers, in: 10th International Conference on Language and Automata Theory and Applications, Prague, Czech Republic, J. Janoušek, C. Martín-Vide (editors), March 2016.
  
  https://hal.inria.fr/hal-01218030
• 23A. Boiret, R. Palenta.
  
  Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time, in: Developments in Language Theory, Montreal, Canada, Lecture Notes in Computer Science, Springer, July 2016, vol. 9840, pp. 355-367.
  
  https://hal.archives-ouvertes.fr/hal-01429110
• 24P. Bourhis, M. Benedikt, B. Ten Cate, G. Puppis.
  
  Querying Visible and Invisible Information, in: LICS 2016 - 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York City, United States, July 2016, pp. 297-306. [ DOI : 10.1145/2933575.2935306 ]
  
  https://hal.archives-ouvertes.fr/hal-01411118
• 25P. Bourhis, D. Deutch, Y. Moskovitch:.
  
  Analyzing data-centric applications: Why, what-if, and how-to. , in: 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 2016.
  
  https://hal.inria.fr/hal-01413879
• 26P. Bourhis, C. Lutz.
  
  Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics, in: Principles of Knowledge Representation and Reasoning, Cape Town, South Africa, April 2016.
  
  https://hal.inria.fr/hal-01413887
• 27P. Buneman, S. Staworko.
  
  RDF Graph Alignment with Bisimulation, in: VLDB 2016 - 42nd International Conference on Very Large Databases, New Dehli, India, Proceedings of the VLDB Endowment, September 2016, vol. 9, n^o 12, pp. 1149 - 1160. [ DOI : 10.14778/2994509.2994531 ]
  
  https://hal.inria.fr/hal-01417156
• 28T. Sebastian, J. Niehren.
  
  Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams, in: International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Harrachov, Czech Republic, January 2016.
  
  https://hal.inria.fr/hal-01182529

Conferences without Proceedings

• 29G. Bagan, A. Bonifati, R. Ciucanu, G. Fletcher, A. Lemay, N. Advokaat.
  
  Génération de Requêtes pour les Bases de Données Orientées Graphes, in: 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2016, Futuroscope, Poitiers, France, November 2016.
  
  https://hal.inria.fr/hal-01402582
• 30G. Bagan, A. Bonifati, R. Ciucanu, G. Fletcher, A. Lemay, N. Advokaat.
  
  gMark : Génération de Graphes et de Requêtes Dirigée par le Schéma, in: 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2016, Futuroscope, Poitiers, France, November 2016.
  
  https://hal.inria.fr/hal-01402580
• 31A. Boiret, A. Lemay, J. Niehren.
  
  Learning Top-Down Tree Transducers with Regular Domain Inspection, in: International Conference on Grammatical Inference 2016, Delft, Netherlands, October 2016.
  
  https://hal.inria.fr/hal-01357186

Other Publications

• 32E. Ainy, P. Bourhis, S. B. Davidson, D. Deutch, T. Milo.
  
  PROX: Approximated Summarization of Data Provenance, March 2016, International Conference on Extending Database Technology, Poster - Démonstration.
  
  https://hal.inria.fr/hal-01420452
• 33A. Boiret, A. Lemay, J. Niehren.
  
  A Learning Algorithm for Top-Down Tree Transducers, August 2016, working paper or preprint.
  
  https://hal.inria.fr/hal-01357627
• 34A. Boiret, A. Lemay, J. Niehren.
  
  Learning Top-Down Tree Transformations with Regular Inspection, August 2016, working paper or preprint.
  
  https://hal.inria.fr/hal-01357631
• 35I. Boneva.
  
  Comparative expressiveness of ShEx and SHACL (Early working draft), March 2016, working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-01288285