Pages that link to "Item:Q1284698"
From MaRDI portal
The following pages link to Towards a theory of consistency enforcement (Q1284698):
Displaying 7 items.
- Proving consistency assertions for automotive product data management (Q1977755) (← links)
- Freedom and enforcement in action. A study in formal action theory (Q2018240) (← links)
- Computability and decidability issues in the theory of consistency enforcement (Q2703751) (← links)
- Proving consistency assertions for automotive product data management (Q2749865) (← links)
- Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints (Q2841258) (← links)
- Normative Consistency: An Xstit Account (Q3121972) (← links)
- Foundations for a Fourth Normal Form over SQL-Like Databases (Q3224000) (← links)