Author of the publication

Exploiting Equality Generating Dependencies in Checking Chase Termination.

, , , and . Proc. VLDB Endow., 9 (5): 396-407 (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

Checking Termination of Datalog with Function Symbols Through Linear Constraints., , , and . SEBD, page 192-199. Curran Associates, Inc., (2015)Preference-based inconsistency-tolerant query answering under existential rules., , , and . Artif. Intell., (2022)Querying Data Exchange Settings Beyond Positive Queries., , , and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 27-41. CEUR-WS.org, (2022)Counting Database Repairs Entailing a Query: The Case of Functional Dependencies., , , and . SEBD, volume 3194 of CEUR Workshop Proceedings, page 159-166. CEUR-WS.org, (2022)Leveraging Equality Generating Dependencies for Chase Termination., , , and . SEBD, page 94-101. Matematicamente.it, (2016)Non-Uniformly Terminating Chase: Size and Complexity., , and . PODS, page 369-378. ACM, (2022)Probabilistic Answers over Inconsistent Knowledge Bases., , , , and . SEBD, volume 2646 of CEUR Workshop Proceedings, page 48-55. CEUR-WS.org, (2020)Enhancing Ontological Query-Rewriting via Parallelization., and . SEBD, volume 3478 of CEUR Workshop Proceedings, page 401-409. CEUR-WS.org, (2023)Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation., , , , and . KR, page 33-43. (2020)Consistent query answering with prioritized active integrity constraints., , , , , and . IDEAS, page 3:1-3:10. ACM, (2020)