Author of the publication

Implication and axiomatization of functional and constant constraints.

, , , and . Ann. Math. Artif. Intell., 76 (3-4): 251-279 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

XML-Based RDF Data Management for Efficient Query Processing., and . WebDB, ACM, (2010)A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization., , , and . BNCOD, volume 5588 of Lecture Notes in Computer Science, page 133-145. Springer, (2009)Access control for XML: a dynamic query rewriting approach., , and . CIKM, page 251-252. ACM, (2005)Implication and axiomatization of functional and constant constraints., , , and . Ann. Math. Artif. Intell., 76 (3-4): 251-279 (2016)Relative Expressive Power of Navigational Querying on Graphs., , , , , , , and . CoRR, (2014)Tree Logical Classes for Efficient Evaluation of XQuery., , , and . SIGMOD Conference, page 71-82. ACM, (2004)A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents., , , , , and . DBPL, volume 4797 of Lecture Notes in Computer Science, page 48-65. Springer, (2007)Scalable temporal clique enumeration., , , , and . SSTD, page 120-129. ACM, (2019)Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing., and . TIME, volume 178 of LIPIcs, page 18:1-18:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)External memory K-bisimulation reduction of big graphs., , , , and . CIKM, page 919-928. ACM, (2013)