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

A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition., , and . IJCAI, page 72-77. Professional Book Center, (2005)The Expressiveness of Query Languages for Nested Relations., and . IEEE Data Eng. Bull., 11 (3): 48-55 (1988)Another view on functional and multivalued dependencies in the relational database model, and . International Journal of Computer and Information Sciences, 12 (4): 247--267 (1983)A solution to P11, , and . Bulletin of the European Association for Theoretical Computer Science, (1983)Preface., and . Ann. Math. Artif. Intell., 83 (3-4): 209-212 (2018)On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas, , and . CoRR, (2006)Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees., , , , , , and . Inf. Syst., (2020)A unified theory of structural tractability for constraint satisfaction problems., , and . J. Comput. Syst. Sci., 74 (5): 721-743 (2008)Closure properties of constraints., , and . J. ACM, 44 (4): 527-548 (1997)On the Expressive Power of the Relational Algebra on Finite Sets of Relation Pairs., , , and . IEEE Trans. Knowl. Data Eng., 21 (6): 939-942 (2009)