Cristina Sirangelo

Professor of Computer Science

Institut de Recherche en Informatique Fondamentale (IRIF)
Université Paris Cité
On INRIA delegation at ENS Paris, VALDA team

E-mail : cristina at irif.fr

Office: Office 4042, 4th floor Sophie Germain Building, 8 place Aurélie Nemours, 75013 Paris.

Postal address: IRIF - Case 7014, Université Paris Diderot 75205 Paris Cedex 13, France

Research Interests

Database theory, logic, automata theory.

Main projects

ANR QUID

Selected Publications

DBLP

Conference Papers

A. Padmanabha, L. Segoufin and C. Sirangelo. A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join. , In ACM Symp. on Principles of Database Systems (PODS) 2024, to appear.

D. Figueira, A. Padmanabha, L. Segoufin and C. Sirangelo. A simple algorithm for consistent query answering under primary keys., 26th International Conference on Database Theory (ICDT 2023) Ioannina, Greece, March 2023, 24:1-24:18 [ pdf ] Extended version invited to LMCS journal, 2024

A. Gheerbrant, L.Libkin, A.Rogova, C. Sirangelo. Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting., 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022), Genova-Nervi, Italy, September 2022, CEUR [ pdf ] Extended version invited to TPLP journal, 2023

A. Gheerbrant, C. Sirangelo. Best Answers over Incomplete Data : Complexity and First-Order Rewritings., International Joint Conference on artificial Intelligence - IJCAI 2019, Macao, China, August 2019, pages 1704—1710 [ pdf ]

N. Francis, L. Segoufin and C. Sirangelo. Datalog Rewritings of Regular Path Queries using Views., 17th International Conference on Database Theory (ICDT 2014) Athens, Greece, March 2014, pages 107—118 [ pdf ]

A. Gheerbrant, L. Libkin, C. Sirangelo. Reasoning About Pattern-Based XML Queries, 7th International Conference on Web Reasoning and Rule Systems (RR 2013) Mannheim, Germany, July 2013, pages 4—18 [ pdf ]

A. Gheerbrant, L. Libkin, C. Sirangelo. When is Naive Evaluation Possible?, 32nd ACM-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013), New York, USA, June 2013, pages 75—86 [ pdf ]

P. Barcelo, L. Libkin, A. Poggi, C. Sirangelo. XML with Incomplete Information: Models, Properties, and Query Answering, 28th ACM-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2009), Providence (RI), USA, July 2009, pages 237—246. [ pdf ]

L. Libkin, C. Sirangelo. Open and Closed World Assumptions in Data Exchange, 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 2009 (Invited). [ pdf ]

L. Libkin, C. Sirangelo. Reasoning about XML with Temporal Logics and Automata, 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008), Doha, Qatar, November 2008, LNAI 5330, pages 97—112. [ pdf ]

L. Libkin, C. Sirangelo. Data Exchange and Schema Mappings in Open and Closed Worlds, 27th ACM-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2008), Vancouver, Canada, June 2008, pp. 139—148. [ pdf ]

L. Segoufin, C. Sirangelo. Constant-memory validation of streaming XML documents against DTDs, 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain, January 2007, pp. 299—313. [ pdf ]

F. Furfaro, G. M. Mazzeo, C. Sirangelo. Exploiting cluster analysis for constructing multi-dimensional histograms on both static and evolving data, 10th International Conference on Extending Database Technology (EDBT 2006), Munich, Germany, March 2006, pp. 442—459. [ pdf ]

L. Caroprese, S. Greco, C. Sirangelo, E. Zumpano. Declarative Semantics of Production Rules for Integrity Maintenance, 22nd International Conference on Logic Programming (ICLP 2006), Seattle (WA), USA, August 2006, pp 26—40. [ pdf ]

F. Furfaro, G. M. Mazzeo, D. Sacca, C. Sirangelo. Hierarchical Binary Histograms for Summarizing Multi-Dimensional Data, ACM Symposium on Applied Computing (SAC 2005), Santa Fe (NM), USA, March 2005, pp. 598—603. [ pdf ]

F. Buccafurri, F. Furfaro, D. Sacca, C. Sirangelo. A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data, 15th International Conference on Scientific and Statistical Database Management (SSDBM 2003), Cambridge (MA), USA, July 2003, pp. 127—137. [ pdf ]

Journal papers

A. Gheerbrant, L. Libkin, A. Rogova, C. Sirangelo Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings , Theory and Practice of Logic Programming, pp 1-31, October 2023. [ pdf ]

N. Francis, L. Segoufin and C. Sirangelo. Datalog Rewritings of Regular Path Queries using Views, Logical Methods in Computer Science (LMCS) 11(4), December 2015. [ pdf ]

A. Gheerbrant, L. Libkin, C. Sirangelo. Naive evaluation of queries over incomplete databases, ACM Transactions on Database Systems (TODS) 39(4), December 2014. [ pdf ]

L. Libkin, C. Sirangelo. Data Exchange and Schema Mappings in Open and Closed Worlds, Journal of Computer and System Sciences (JCSS) 77(3), pages 542—571, 2011. [ pdf ]

P. Barcelo, L. Libkin, A. Poggi, C. Sirangelo. XML with Incomplete Information, Journal of the ACM (JACM) 58(1), 2010. [ pdf ]

L. Libkin, C. Sirangelo. Reasoning about XML with Temporal Logics and Automata, Journal of Applied Logic (JAL) 8(2), pages 210—232, 2010. [ pdf ]

L. Libkin, C. Sirangelo. Disjoint Pattern Matching and Implication in Strings, Information Processing Letters (IPL) 110(4), pages 143—147, 2010. [ pdf ]

F. Furfaro, G. M. Mazzeo, D. Sacca, C. Sirangelo. Compressed Hierarchical Binary Histograms for Summarizing Multi-dimensional Data, The International Journal on Knowledge and Information Systems, KAIS, July 2007. [ pdf ]

Theses

Ph.D.

C. Sirangelo. Approximate Query Answering on Multi-dimensional Data, Ph.D. Thesis, University of Calabria, November 2005. [ pdf ]

Habilitation à diriger des recherches

C. Sirangelo. Representing and querying incomplete information: a data interoperability perspective, Habilitaton à diriger des recherches, École Normale Supérieure de Cachan, December 2014. [ pdf ]