Consistency and currency in functional databases

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Lindstrom, Gary E.
Other Author Hunt, Frances E.
Title Consistency and currency in functional databases
Date 1982
Description We consider a hybrid model of databases, in which a functional component T is defined as an extension to an imperative component B. T. is loosely coupled to B through a highly parallel function network N. which provides a simple failsafe test of whether an existing assignment of values to a given view (subset) T' of T is consistent. If this test fails, or when a "current" view of T' is desired, N can be requested to "refresh" T' so that its values become consistent with respect to the current assignment to B. These requests are serviced by N without danger of system deadlock.
Type Text
Publisher University of Utah
Subject Functional databases
Language eng
Bibliographic Citation Lindstrom, G. E., & Hunt, F. E. (1982). Consistency and currency in functional databases. UUCS-82-012.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 3,145,979 bytes
Identifier ir-main,15938
ARK ark:/87278/s6fb5m8x
Setname ir_uspace
ID 704117
Reference URL https://collections.lib.utah.edu/ark:/87278/s6fb5m8x