Formal Methods in Databases and Software Engineering 1992: Montreal, Canada

Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri (Eds.): Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Workshops in Computing Springer 1993, ISBN 3-540-19812-1

@proceedings{DBLP:conf/db-workshops/1992,
  editor    = {Vangalur S. Alagar and
               Laks V. S. Lakshmanan and
               Fereidoon Sadri},
  title     = {Formal Methods in Databases and Software Engineering, Proceedings
               of the Workshop on Formal Methods in Databases and Software Engineering,
               Montreal, Canada, 15-16 May 1992},
  booktitle = {Formal Methods in Databases and Software Engineering},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19812-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Anthony J. Bonner, Michael Kifer: transaction Logic: An (Early) Exposé. 1-24
Fereidoon Sadri: Aggregate Operations in the Information Source Tracking Method. 24-38
Rokia Missaoui, Robert Godin: An Incremental Concept Formation Approach for Learning from Databases. 39-53
Deepak Kapur, David R. Musser, Xumin Nie: The Tecton Proof System. 54-79
Vangalur S. Alagar: Modeling Time in Information Systems. 80-95
Greetha Ramanathan: A Unified Framework for Database Specification: Functional Approach. 96-110
Lynn S. Marshall, Linda Simon: Using VDM Within an Object-Oriented Framework. 111-121
Pankaj Goyal: Software Engineering Environments - What Do We Want? 122-138
Jiawei Han: Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems. 139-157
Laks V. S. Lakshmanan, Daniel A. Nonen: On Querying Temporal Deductive Databases. 158-174
Fangqing Dong, Laks V. S. Lakshmanan: Intuitionistic Interpretation of Deductive Databases with Incomplete Information. 175-192