XML with Incomplete Information: Representation, Querying and Applications

Filter
Conference contribution

Search results

  • 2014

    Synchronizing Relations on Words

    Figueira, D. & Libkin, L., 19 Feb 2014, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France. p. 518-529 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2013

    Containment of pattern-based queries over data trees

    David, C., Gheerbrant, A., Libkin, L. & Martens, W., 2013, Proceedings of the 16th International Conference on Database Theory. ACM, p. 201-212 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Querying graph databases with XPath

    Libkin, L., Martens, W. & Vrgoc, D., 2013, Proceedings of the 16th International Conference on Database Theory . ACM, p. 129-140 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Trial for RDF: adapting graph query languages for RDF data

    Libkin, L., Reutter, J. & Vrgoc, D., 2013, Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013. ACM, p. 201-212 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • When is naive evaluation possible?

    Gheerbrant, A., Libkin, L. & Sirangelo, C., 2013, Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013. ACM, p. 75-86 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 2012

    Efficient approximations of conjunctive queries

    Barcelo, P., Libkin, L. & Romero, M., 2012, Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012. ACM, p. 249-260 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Graph Logics with Rational Relations and the Generalized Intersection Problem

    Barcelo, P., Figueira, D. & Libkin, L., 2012, Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012. Institute of Electrical and Electronics Engineers, p. 115-124 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • On Low Treewidth Approximations of Conjunctive Queries

    Barcelo, P., Libkin, L. & Romero, M., 2012, Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management. p. 91-101 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • On the complexity of query answering over incomplete XML documents

    Gheerbrant, A., Libkin, L. & Tan, T., 2012, Proceedings of the 15th International Conference on Database Theory. ACM, p. 169-181 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Regular Expressions for Data Words

    Libkin, L. & Vrgoc, D., 2012, Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Springer, p. 274-288 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Regular path queries on graphs with data

    Libkin, L. & Vrgoc, D., 2012, 15th International Conference on Database Theory, ICDT '12. ACM, p. 74-85 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 2011

    A Direct Translation from XPath to Nondeterministic Automata

    Libkin, L., David, C. & Francis, N., 2011, Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management. 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Efficient reasoning about data trees via integer linear programming

    David, C., Libkin, L. & Tan, T., 2011, Database Theory - ICDT 2011, 14th International Conference. ACM, p. 18-29 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Incomplete information and certain answers in general data models

    Libkin, L., 2011, Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011. ACM, p. 59-70 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Querying graph patterns

    Barcelo, P., Libkin, L. & Reutter, J., 2011, Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011. ACM, p. 199-210 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Tractable XML data exchange via relations

    Chirkova, R., Libkin, L. & Reutter, J., 2011, Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011. ACM, p. 1629-1638 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 2010

    Certain Answers for XML Queries

    David, C., Libkin, L. & Murlak, F., 2010, PODS 2010: PROCEEDINGS OF THE TWENTY-NINTH ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS. NEW YORK: ASSOC COMPUTING MACHINERY, p. 191-202 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On the Satisfiability of Two-Variable Logic over Data Words

    David, C., Libkin, L. & Tan, T., 2010, Logic for Programming, Artificial Intelligence, and Reasoning.: International Conference on Logic for Programming Artificial Intelligence and Reasoning. Fermuller, CG. & Voronkov, A. (eds.). BERLIN: Springer, p. 248-262 15 p. (Lecture Notes in Computer Science; vol. 6397).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    XML schema mappings

    Amano, S., Libkin, L. & Murlak, F., 2009, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. New York, NY, USA: ACM, p. 33-42 10 p. (PODS '09).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution