DBLP:conf/vldb/BaldisseraCPB79 + redirect page
Interactive Specification and Formal Verification of User's Views in Data Bases Design + Has identifier
| Interactive Specification and Formal Verification of User's Views in Data Bases Design |
Has publishing details
pp. 262-272, 1979
Has title
Interactive Specification and Formal Verification of User's Views in Data Bases Design
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb79.html#BaldisseraCPB79
Has where published
VLDB
Has year
1979
Has author
C. Baldissera +, Stefano Ceri +, Giuseppe Pelagatti +, Giampio Bracchi +
Has citation
View Representation in Logical Database Design +, DBLP:journals/tods/Chen76 +, Using Semantic Networks for Database Management +, DBLP:journals/is/BillerN78a +, DBLP:journals/cacm/SmithS77 +, DBLP:journals/tods/MylopoulosBW80 +, DBLP:journals/is/PelagattiPB78 +
Has identifier
Interactive Specification and Formal Verification of User's Views in Data Bases Design +
Categories Proceeding Paper +
|
