Databases and Higher Types

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.

• Type: Conference
• Year: 2000
• Where: CL
• Authors: Melvin Fitting
• Keywords: Automated Reasoning, CL 2000, Type Modal/intensional Logic