Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be developed for such databases, based on a higher type modal/intensional logic.
CITATION STYLE
Fitting, M. (2000). Databases and higher types. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 1861, pp. 41–52). Springer Verlag. https://doi.org/10.1007/3-540-44957-4_3
Mendeley helps you to discover research relevant for your work.