Author of the publication

Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.

, , , and . DASFAA (2), volume 6588 of Lecture Notes in Computer Science, page 225-234. Springer, (2011)

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

Evolving objects in temporal information systems., , and . Ann. Math. Artif. Intell., 50 (1-2): 5-38 (2007)A Decidable Very Expressive Description Logic for Databases (Extended Version)., , , and . CoRR, (2017)Subsumption Computation on an Object-Oriented Data Model., , and . PDK, volume 567 of Lecture Notes in Computer Science, page 124-140. Springer, (1991)Taxonomic Reasoning in LOGIDATA+., , , , , and . LOGIDATA+: Deductive Databases with Complex Objects, volume 701 of Lecture Notes in Computer Science, Springer, (1993)OCL-Lite: Finite reasoning on UML/OCL conceptual schemas., , , and . Data Knowl. Eng., (2012)Do You Need Infinite Time?., , and . IJCAI, page 1516-1522. ijcai.org, (2019)Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals., , , , and . CoRR, (2020)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , and . CoRR, (2020)A survey of temporal extensions of description logics., and . Ann. Math. Artif. Intell., 30 (1-4): 171-210 (2000)Complexity of Safety and coSafety Fragments of Linear Temporal Logic., , , , and . CoRR, (2022)