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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri, editors, 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.

Conference: db-workshops1993

Abstract is missing.

transaction Logic: An (Early) ExposéAnthony J. Bonner, Michael Kifer. 1-24

Aggregate Operations in the Information Source Tracking MethodFereidoon Sadri. 24-38

An Incremental Concept Formation Approach for Learning from DatabasesRokia Missaoui, Robert Godin. 39-53

The Tecton Proof SystemDeepak Kapur, David R. Musser, Xumin Nie. 54-79

Modeling Time in Information SystemsVangalur S. Alagar. 80-95

A Unified Framework for Database Specification: Functional ApproachGreetha Ramanathan. 96-110

Using VDM Within an Object-Oriented FrameworkLynn S. Marshall, Linda Simon. 111-121

Software Engineering Environments - What Do We Want?Pankaj Goyal. 122-138

Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base SystemsJiawei Han. 139-157

On Querying Temporal Deductive DatabasesLaks V. S. Lakshmanan, Daniel A. Nonen. 158-174

Intuitionistic Interpretation of Deductive Databases with Incomplete InformationFangqing Dong, Laks V. S. Lakshmanan. 175-192

runs on WebDSL