131
click to vote
VLDB
1987
ACM
15 years 8 months ago
1987
ACM
In a context considering in a unique framework all the relations in a database, by means of the notion of global consistency, independent database schemes allow enforcement of con...
125
click to vote
VLDB
1987
ACM
15 years 8 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
120
click to vote
TAPSOFT
1987
Springer
15 years 8 months ago
1987
Springer
The Calculus of Constructions is a higher-order formalism for writing constructive proofs in a natural deduction style, inspired from work of de Bruijn [2, 3], Girard [12], Martin...