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
Vangalur Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri · Medical Entomology and Zoology · 1993
Transaction Logic: An (Early) Expose.- Aggregate Operations in the Information Source Tracking Method.- An Incremental Concept Formation Approach for Learning from Databases.- The Tecton Proof System.- Modeling Time in Information Systems.- A Unified Framework for Database Specification: Functional Approach.- Using VDM Within an Object-Oriented Framework.- Software Engineering Environments - What Do We Want?.- Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems.- On Querying Temporal Deductive Databases.- Intuitionistic Interpretation of Deductive Databases with Incomplete Information.- Author Index.