Fast methods for testing quantified relational calculus assertions
暂无分享,去创建一个
[1] Philip A. Bernstein,et al. Using Semi-Joins to Solve Relational Queries , 1981, JACM.
[2] Eric K. Clemons,et al. Efficiently monitoring relational databases , 1979, ACM Trans. Database Syst..
[3] Michael Hammer,et al. Efficient monitoring of database assertions , 1978, SIGMOD '78.
[4] Eugene Wong,et al. Decomposition—a strategy for query processing , 1976, TODS.
[5] Michael Stonebraker,et al. Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.
[6] E. F. Codd,et al. Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.
[7] Georges Gardarin,et al. Proving Consistency Of Database Transactions , 1979, Fifth International Conference on Very Large Data Bases, 1979..
[8] C. J. Date. An Introduction to Database Systems , 1975 .
[9] Edmund M. Clarke,et al. Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data , 1980, VLDB.