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

Optimization of Linear Logic Programs Using Counting Methods., and . EDBT, volume 580 of Lecture Notes in Computer Science, page 72-87. Springer, (1992)Consistent query answering over inconsistent databases., and . Int. J. Knowl. Based Intell. Eng. Syst., 15 (3): 119-129 (2011)Optimization of bound disjunctive queries with constraints., , , and . Theory Pract. Log. Program., 5 (6): 713-745 (2005)Checking termination of bottom-up evaluation of logic programs with function symbols., , , and . Theory Pract. Log. Program., 15 (6): 854-889 (2015)Querying and Updating Inconsistent Databases (Extended Abstract)., , , and . SEBD, page 438-445. Esculapio Editore, (2010)Exploiting Preference Rules for Querying Databases., , and . SEBD, page 405-413. (2007)Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques., , and . ICEIS (2), page 84-91. (2004)Extending Datalog with Choice and Weak Constraints.. APPIA-GULP-PRODE, page 329-340. (1996)Implementation of Chain Logic Queries., and . APPIA-GULP-PRODE, page 341-354. (1996)An Architecture for Integrating Genetic and Clinical Data., , , and . ICCS, volume 29 of Procedia Computer Science, page 1959-1969. Elsevier, (2014)