Author of the publication

Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.

, , , and . Inf. Process. Lett., 87 (3): 133-137 (2003)

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

Functional Dependencies with Counting on Trees.. J. UCS, 11 (12): 2063-2075 (2005)A Rigorous Semantics for BPMN 2.0 Process Diagrams, , , , , , , , and . Springer, (2014)Fixed-Point Quantifiers in Higher Order Logics., and . EJC, volume 136 of Frontiers in Artificial Intelligence and Applications, page 237-244. IOS Press, (2005)Storyboarding Concepts for Edutainment WIS., and . EJC, volume 166 of Frontiers in Artificial Intelligence and Applications, page 59-78. IOS Press, (2007)NULL 'Value' Algebras and Logics., and . EJC, volume 225 of Frontiers in Artificial Intelligence and Applications, page 354-367. IOS Press, (2010)Functional Dependencies over XML Documents with DTDs., , and . Acta Cybern., 17 (1): 153-171 (2005)Controlled Automation of Consistency Enforcement.. ASE, page 265-268. IEEE Computer Society, (2000)Design of Data-Intesive Web-based Information Services., , , and . WISE, page 462-467. IEEE Computer Society, (2000)Introduction to the ABZ 2014 special issue., and . Sci. Comput. Program., (2016)Towards a Structured Specification Language for Database Applications., , and . Specifications of Database Systems, Springer, (1992)