Two-dimensional specification of universal quantification in a graphical database query language

mcdonald, 1975, CUPID?the friendly query language, Proc ACM Pacific Conf, 127

ozsoyoglu, 1987, A Relational Calculus with Set Operators Its Safety and Equivalent Graphical Languages

shepherdson, 1986, Negation in logic programming, Proc Foundations of Deductive Databases and Logic Program

ullman, 1982, Principles of database systems

gelder, 1987, Safety and correct translation of relational calculus formulas, Proc ACM Symp on Principles of Database Syst, 313, 10.1145/28659.28693

wong, 1982, GUIDE: graphical user interface for database exploration, Proc IEEE 5th Int Conf Very Large Data Bases, 22

zhang, 1983, Entity-Relationship Approach to Software Engineering, 441

10.1145/1282480.1282482

elmarsi, 1985, A graphical query facility for ER databases, Proc 4th IEEE Int Conf on Entity-Relationship Approach, 236

demolombe, 1982, Syntactical characterization of a subset of domain-independent formulas

10.1145/319732.319745

1986, IBM Database 2 Reference

krishnamurthy, 1986, Safety and optimization of horn clause queries, Proc Foundations of Deductive Databases and Logic Program

10.1002/spe.4380180302

codd, 1972, Data Base Systems (Proc 6th Courant Computer Science Symp, 65

10.1145/320434.320440

10.1145/319830.319831