View
218
Download
0
Tags:
Embed Size (px)
Citation preview
Terms
Object terms Concept terms ↓t: object denoted by concept t in
some context Type designations: o (object) and c
(concept)
Relational databases
Record: basic unit of information in rdb Can’t return it directly as answer to query Each one is a possible world
Accessibility (i.e. “proximity” of possible worlds): the S5 logic
db field attributes: individual concepts db field entries: individual objects
Rigidity
t is rigid if it always designates the same object, no matter which world FWIW: in linguistics, proper names are rigid
Rigidity can be relative w/rt subsets of all possible worlds Databases: functional dependencies (e.g.
between attributes)
Checking query 1 (for instance 3)
check the relevant world(s) with appropriate mappings:
and resolve each conjunct...