Sławek Staworko - Papers

Conferences and Workshops

  1. Threshold Queries in Theory and in the Wild, International Conference on Very Large Data Bases (VLDB), September 2022, Sydney, Australia (with A. Bonifati, S. Dumbrava, G. Fletcher, J. Hidders, M. Hofer, W. Martens, F. Murlak, J. Shinavier, and D. Tomaszuk) [bibtex]
  2. Inference of Shape Graphs for Graph Databases, International Conference on Database Theory (ICDT), March 2022, Edinburgh, Scotland, UK (with B. Groz, A. Lemay, and P. Wieczorek) [bibtex]
  3. PG-Keys: Keys for Property Graphs, ACM Special Interest Group on Management of Data (SIGMOD), June 2021, Xi'an, Shaanxi, China (with LDBC – Property Graph Schema Working Group) [bibtex]
  4. Containment of Shape Expression Schemas for RDF, ACM Symposium on Principles of Database Systems (PODS), June 2019, Amsterdam, the Netherlands (with P. Wieczorek) [talk, bibtex]
  5. Relational to RDF Data Exchange in Presence of a Shape Expression Schema, Alberto Mendelzon International Workshop on Foundations of Data Management, May 2018, Cali, Colombia (with I. Boneva and J. Lozano) [bibtex]
  6. RDF Graph Alignment with Bisimulation, International Conference on Very Large Data Bases (VLDB), September 2016, New Dehli, India (with P. Buneman) [slides, bibtex]
  7. A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration, International Computer Music Conference (ICMC), September 2016, Utrecht, the Netherlands (with A. Ycart, F. Jacquemard, and J. Bresson) [bibtex]
  8. Modeling Musical Structure with Parametric Grammars, International Conference on Mathematics and Computation in Music (MCM), June 2015, London, UK (with M. Giraud) [bibtex]
  9. Complexity and Expressiveness of ShEx for RDF, International Conference on Database Theory (ICDT), March 2015, Brussels, Belgium (with I. Boneva, J. E. Labra Gayo, S. Hym, E. G. Prud’hommeaux, and H. Solbrig) [bibtex]
  10. Characterizing XML Twig Queries with Examples, International Conference on Database Theory (ICDT), March 2015, Brussels, Belgium (with P. Wieczorek) [bibtex]
  11. Interactive Join Query Inference with JIM, International Conference on Very Large Databases (VLDB), September 2014, Hangzhou, China. System Demo. (with A. Bonifati and R. Ciucanu) [bibtex]
  12. A Paradigm for Learning Queries on Big Data, International Workshop on Bringing the Value of "Big Data" to Users (Data4U), Hangzhou, China, September 2014. (with A. Bonifati, R. Ciucanu, and A. Lemay) [bibtex]
  13. Interactive Inference of Join Queries, International Conference on Extending Database Technology (EDBT), March 2014, Athens, Greece (with A. Bonifati and R. Ciucanu) [bibtex]
  14. Learning Sequential Tree-to-Word Transducers, International Conference on Language and Automata Theory and Applications (LATA), March 2014, Madrid, Spain (with G. Laurence, A. Lemay, J. Niehren and M. Tommasi) [bibtex]
  15. Learning Schemas for Unordered XML, International Symposium on Database Programming Languages (DBPL), Trento, Italy, August 2013 (with R. Ciucanu) [bibtex]
  16. Simple Schemas for Unordered XML, International Workshop on the Web and Databases (WebDB), May 2013, New York, New York, USA (with R. Ciucanu and I. Boneva) [bibtex]
  17. Deterministic Regular Expressions in Linear Time, ACM Symposium on Principles of Database Systems (PODS), May 2012, Scottsdale, Arizona, USA (with B. Groz and S. Maneth) [bibtex]
  18. Learning Twig and Path Queries, International Conference on Database Theory (ICDT), March 2012, Berlin, Germany (with P. Wieczorek) [slides, bibtex]
  19. Bounded Reparability for Regular Tree Languages, International Conference on Database Theory (ICDT), March 2012, Berlin, Germany (with G. Puppis and C. Riveros) [bibtex]
  20. Normalization of Sequential Top-Down Tree-to-Word Transducers, Language and Automata Theory and Applications (LATA), March 2011, Tarragona, Spain (with G. Laurence, A. Lemay, J. Niechren, and M. Tommasi) [bibtex]
  21. View Update Translation for XML, International Conference on Database Theory (ICDT), March 2011, Uppsala, Sweden (with I. Boneva, B. Groz, A.-C. Caron, Y. Roos, and S. Tison) [bibtex]
  22. The View Update Problem for XML, EDBT/ICDT Workshops (Updates in XML), March 2010, Lausanne, Switzerland (with I. Boneva, B. Groz) [bibtex]
  23. XML Security Views Revisited, Database Programming Languages (DBPL), August 2009, Lyon, France (with B. Groz, A.-C. Caron, Y. Roos, and S. Tison) [slides, bibtex]
  24. Equivalence of Deterministic Nested Word to Word Transducers, Fundamentals of Computation Theory (FCT), September 2009, Wrocław, Poland (with G. Laurence, A. Lemay, and J. Niechren) [slides, bibtex]
  25. Querying Regular Sets of XML Documents, LiD Workshop, May 2008, Rome. (with E. Filiot and J. Chomicki) [bibtex]
  26. Validity Sensitive Querying of XML Databases, EDBT Workshops (dataX), March 2006, Munich, Germany. (with J. Chomicki) [slides, bibtex]
  27. Preference-Driven Querying of Inconsistent Relational Databases, EDBT Workshops (IIDB), March 2006, Munich, Germany. (with J. Chomicki and J. Marcinkowski) [slides, bibtex]
  28. Computing Consistent Query Answers using Conflict Hypergraphs, Information and Knowledge Management (CIKM), November 2004, Washington, D.C. (with J. Chomicki and J. Marcinkowski) [bibtex]
  29. Hippo: a System for Computing Consistent Query Answers to a Class of SQL Queries, International Conference on Extending Database Technology (EDBT), March 2004, Heraklion, Greece. System demo. (with J. Chomicki and J. Marcinkowski) [bibtex]

Journals

  1. A Note on the Class of Languages Generated by F-Systems over Regular Languages, Information Processing Letters (IPL), 2022 (with J. Lucero) [bibtex]
  2. Bounded Repairability for Regular Tree Languages, ACM Transactions on Database Systems, 2016 (with P. Bourhis, G. Puppis, and C. Riveros) [bibtex]
  3. Learning Join Queries from User Examples, ACM Transactions on Database Systems — Special Issue: Invited 2014 PODS and EDBT Revised Articles, 2016 (with A. Bonifati and R. Ciucanu) [bibtex]
  4. Schemas for Unordered XML on a DIME, Theory of Computing Systems, 2014 (with R. Ciucanu and I. Boneva) [bibtex]
  5. Static Analysis of XML Security Views and Query Rewriting, Special SecReT'11 Issue of Information and Computation, 2013 (with B. Groz, A.-C. Caron, Y. Roos and S. Tison) [bibtex]
  6. Prioritized Repairing and Consistent Query Answering in Relational Databases, Special SUM'08 issue of Annals of Mathematics and Artificial Intelligence, Volume 64(2-3), 2012, pp. 209-246, (with J. Chomicki and J. Marcinkowski) [bibtex]
  7. Consistent Query Answers in the Presence of Universal Constraints, Information Systems, Volume 35(1), 2010, pp. 1-22 (with J. Chomicki) [bibtex]

Manuscripts

  1. Symbolic Inference Methods for Databases, HdR thesis dissertation, University of Lille 1, December 2015 [bibtex]
  2. Validating RDF with Shape Expressions, arXiv.org e-Print archive, arXiv:1404.1270 [cs.DB], April 2014, (with I. Boneva, J. E. Labra Gayo, S. Hym, E. G. Prud'hommeau, and H. Solbrig) [bibtex]
  3. On Injective Embeddings of Tree Patterns, arXiv.org e-Print archive, arXiv:1204.4948v2 [cs.DB], April 2012 (with J. Michaliszyn, A. Muscholl, P. Wieczorek, Z. Wu) [bibtex]
  4. Priority-Based Conflict Resolution in Inconsistent Relational Databases, arXiv.org e-Print archive, cs/0506063, June 2005 (with J. Chomicki) [bibtex]
  5. Declarative Inconsistency Handling in Relational and Semi-structured Databases, Ph.D. thesis dissertation, University at Buffalo, May 2007. [slides, bibtex]

Talks

  1. Shape Expressions Schemas for RDF: Semantics, Complexity, and Inference, GT Automata, Logic, Games & Algebra (ALGA), Oct 2019, Paris. Invited talk.
  2. Complexity of RDF Validation with Shape Expression Schemas, Informal Oxford/Lille Workshop, May 2015.
  3. Rewriting of Queries and Updates across XML Security Views, Dagstuhl Seminar: Security and Rewriting, August 2011.
  4. Consistent Query Answering, Advanced School on Data Exchange, Integration, and Streams (DEIS), GI-Dagstuhl Seminar, November 2010.

Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyrights and all rights therein are retained by authors or by other copyright holders. All persons copying this material are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works cannot be reposted or commercially distributed without the explicit permission of the copyright holder.

ACM Copyright Notice

Copyright © 199x by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that new copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted.