Title :
A formal language for writing data base integrity constraints
Author :
Desai, B.N. ; Harris, D.L. ; Mckee, R.A.
Abstract :
Population rules for most databases are currently written in free format English. This lack of standardization has produced population rules that are frequently ambiguous and lacking critical information. A new formal population rule language (PRL) has been designed to remove ambiguities from the population rules. PRL consists of a standard format template and a dependency section. The template describes all the information about the relation. The dependency section expresses intra- and interrelation constraints in a structured language. The authors describe the syntax and semantics of PRL
Keywords :
data integrity; database theory; formal languages; specification languages; PRL; database integrity constraints; dependency section; formal language; interrelation constraints; intra-relation constraints; population rule language; semantics; standard format template; syntax; Costs; Data engineering; Design engineering; Formal languages; Natural languages; Qualifications; Spatial databases; Standardization; Writing;
Conference_Titel :
Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on
Print_ISBN :
0-87942-556-3
DOI :
10.1109/TENCON.1990.152732
