taxonomy for constraints?

From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 4 Sep 2005 16:43:18 -0700
Message-ID: <1125877398.138729.87710_at_z14g2000cwz.googlegroups.com>



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 Mon Sep 05 2005 - 01:43:18 CEST

Original text of this message