Author of the publication

On the Properties of Join Dependencies.

, and . Advances in Data Base Theory, page 25-71. New York, Plemum Press, (1979)

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

Constraints, Graphs, Algebra, Logic, and Complexity.. CP, volume 6308 of Lecture Notes in Computer Science, page 8. Springer, (2010)Symbolic Decision Procedures for QBF., and . CP, volume 3258 of Lecture Notes in Computer Science, page 453-467. Springer, (2004)Constraint Propagation as a Proof System., , and . CP, volume 3258 of Lecture Notes in Computer Science, page 77-91. Springer, (2004)Simplifying schema mappings., , , and . ICDT, page 114-125. ACM, (2011)Assertion-based flow monitoring of SystemC models., and . MEMOCODE, page 145-154. IEEE, (2014)Interactive presentation: PowerQuest: trace driven data mining for power optimization., , and . DATE, page 1078-1083. EDA Consortium, San Jose, CA, USA, (2007)Towards manipulation planning with temporal logic specifications., , , and . ICRA, page 346-352. IEEE, (2015)The Only Way Is Up., , and . FM, volume 6664 of Lecture Notes in Computer Science, page 3-11. Springer, (2011)Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.. CADE, volume 1249 of Lecture Notes in Computer Science, page 191-206. Springer, (1997)Synthesis with Rational Environments., , and . EUMAS, volume 8953 of Lecture Notes in Computer Science, page 219-235. Springer, (2014)