taxonomy for constraints?

Hi all,

Does anyone know of any interesting constraint taxonomies?

I am aware of
1) D&D's domain/column/table/database hierarchy, which is intuitively appealing but I'm not convinced it has much behind it. 2) Constraint solving terminology, which divides up constraints into basic constraints and propogators.

There are other kinds of things in the relational world, as well.

Foreign keys
uniqueness constraints
functional dependencies

Yet another dimension:
universal vs. existential quantification

Yet another kind of beast:
constaints that use aggregate functions

Anyone care to discuss how these all fit together? Anyone know of any formal treatment of these?

Marshall Received on Sun Sep 04 2005 - 18:43:18 CDT