A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
The DAIDA project has made an attempt of formally defining and relating declarative and computational entities considered relevant to the process of database application development. Such entities range from objectoriented specifications to executable modules of database programs. To bridge the gap between semantics and computation, they also include abstract machine-based formal specifications and transformational theories. In an second contribution, selected characteristics of such entitiesdblp:conf/vldb/JeusfeldMWJS90 fatcat:hqc3bh4hvrfmvcoe35ykuffijq