Algebraic Approach to Database Constraints¹

Article type: Research Article

Authors: Orlowska, Ewa

Affiliations: Institute of Computer Science, Polish Academy of Sciences, P.O. Box 22, 00-901 Warsaw, Poland

Note: [1] This research was supported by ATP International CNRS 1983.

Abstract: Algebraic methods of proving database constraints are proposed. The first method is based on the formulation of constraints in terms of inclusions of some binary relations associated with database. The relations are generated by indiscernibility relations by means of the operations of the algebra of binary relations. The second method is based on the matrix representation of constraints.

DOI: 10.3233/FI-1987-10104

Journal: Fundamenta Informaticae, vol. 10, no. 1, pp. 57-68, 1987