some support for 'constraint databases'