Semantic representations and query languages for or-sets

A compositional query algebra for second-order logic and uncertain databases

Proceedings of the 12th International Conference on Database Theory

Design by example for SQL table definitions with functional dependencies

The VLDB Journal — The International Journal on Very Large Data Bases

Models for incomplete and probabilistic information

EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology

The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations

ACM Transactions on Database Systems (TODS)

Armstrong databases: validation, communication and consolidation of conceptual models with perfect test data

APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130