DBLP:conf/sigmod/Kung85 + redirect page
A Transaction Logic for Database Specification + Has citation
On Verification of Database Temporal Constraints + Has identifier
| On Verification of Database Temporal Constraints |
Has publishing details
pp. 169-179, 1985
Has title
On Verification of Database Temporal Constraints
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/sigmod/sigmod85.html#Kung85
Has where published
SIGMOD Conference
Has year
1985
Has author
David Chenho Kung +
Has citation
Time and Databases +, DBLP:journals/sigmod/BolourADW82 +, Validation and Verification Aspects of Information Modeling +, On the Role of `Understanding Models' in Conceptual Schema Design +, DBLP:conf/ifip/Bubenko80 +, A Temporal Framework for Database Specifications +, DBLP:journals/tse/Chow78 +, DBLP:journals/tods/Codd79 +, Specification, Semantics, and Enforcement of Dynamic Database Constraints +, DBLP:journals/is/FurtadoSC81 +, A Modal System of Algebras for Database Specification and Query/Update Language Support +, DBLP:journals/tods/HammerM81 +, A Temporal Framework for Database Specification and Verification +, DBLP:journals/is/LevesonWB83 +, DBLP:conf/adbt/NicolasM77 +, DBLP:journals/cacm/Ramon83 +, DBLP:journals/toplas/OwickiL82 +, DBLP:journals/jacm/Robinson65 +, An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) +, DBLP:journals/is/Sernadas80 +, DBLP:conf/ds/SolvbergK85 +, Implementation of Integrity Constraints and Views by Query Modification +, DBLP:journals/cacm/Winograd79 +, DBLP:conf/focs/Wolper81 +
Has identifier
On Verification of Database Temporal Constraints +
Categories Proceeding Paper +
|
