Interactive Specification and Formal Verification of User's Views in Data Bases Design

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/vldb/BaldisseraCPB79, crossref={DBLP:conf/vldb/79}, title={Interactive Specification and Formal Verification of User's Views in Data Bases Design}, pages={262-272}, cdrom={VLDB79/P262.PDF}, year={1979}, booktitle={VLDB}, url={http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb79.html#BaldisseraCPB79}, ee={db/conf/vldb/BaldisseraCPB79.html}, author={C. Baldissera and Stefano Ceri and Giuseppe Pelagatti and Giampio Bracchi} cite={DBLP:conf/sigmod/NavatheS78 , DBLP:journals/tods/Chen76 , DBLP:conf/vldb/RoussopoulosM75 , DBLP:journals/is/BillerN78a , DBLP:journals/cacm/SmithS77 , DBLP:journals/tods/MylopoulosBW80 , DBLP:journals/is/PelagattiPB78} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Interactive_Specification_and_Formal_Verification_of_User%27s_Views_in_Data_Bases_Design"
Personal tools