Michel A. Melkanoff

Learn More
The purpose of this paper is to present an approach for verifying that explicitely stated integrity constraints are not violated by certain transactions. We utilize a relational model where-in constraints are given in a language based on the first order predicate calculus. Transactions are written in terms of an ALGOL.60 like host language with embedded(More)
A formal approach is proposed to the definition and the design of conceptual database diagrams to be used as conceptual schemata in a system featuring a multilevel schema architecture, and as an aid for the design of other forms of schemata. We consider E-R (entity-relationship) diagrams, and we introduce a new representation called(More)
The purpose of this paper is to present a new approach to the conceptual design of relational databases based on the complete relatability conditions (CRCs). It is shown that current database design methodology based upon the elimination of anomalies is not adequate. In contradistinction, the CRCs are shown to provide a powerful criticism for decomposition.(More)
The purpose of this paper is threefold: (a) to present a new decomposition algorithm to decompose a relation according to its functional and multivalued dependencies into well-defined primitives (atomic relations and functional dependencies) which preserve the original information, (b) to describe the atomic relations and their functional dependencies(More)