Databases and Higher Types

Authors:
Melvin Fitting
Affiliations:
-
Venue:
CL '00 Proceedings of the First International Conference on Computational Logic
Year:
2000

Citing 3
Cited 1

First-order modal logic

First-order modal logic
Modality and Databases

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Types, Tableaus, and Godel's God

Types, Tableaus, and Godel's God

Fact-oriented modeling from a programming language designer's perspective

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.