Introduction to Logic

Exercise 4.2 - Constraints

Consider a deductive database with a single binary base relation p. Without mentioning any specific object constants, write a set of constraints that is satisfied by a dataset if and only if the p is antisymmetric, i.e. if there is a fact in the database with object constants in one order, then the database does not a fact with the object constants in the opposite order.