Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/vldb/BorgidaW81, crossref={DBLP:conf/vldb/81}, title={Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory}, cdrom={VLDB81/P260.PDF}, pages={260-271}, year={1981}, booktitle={VLDB}, url={http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb81.html#BorgidaW81}, ee={db/conf/vldb/BorgidaW81.html}, author={Alexander Borgida and Harry K. T. Wong} cite={DBLP:journals/toplas/CasanovaB80 , DBLP:journals/cacm/Codd70 , DBLP:journals/tods/Codd79 , DBLP:journals/siamcomp/Cook78 , DBLP:books/ph/Dijkstra76 , DBLP:conf/vldb/GardarinM79 , DBLP:journals/toplas/GreifM81 , DBLP:conf/vldb/HammerM75 , DBLP:journals/cacm/Hoare69 , DBLP:journals/acta/HoareL74 , DBLP:journals/acta/HoareW73 , DBLP:journals/acta/LondonGHLMP78 , DBLP:journals/tods/MylopoulosBW80 , DBLP:conf/vldb/MylopoulosW80 , DBLP:conf/focs/Pratt76 , DBLP:journals/tods/SmithS77} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Data_Models_and_Data_Manipulation_Languages:_Complementary_Semantics_and_Proof_Theory"
Personal tools