modal logic and databases. terms object terms concept terms ↓ t: object denoted by concept t in...
Post on 21-Dec-2015
217 views
TRANSCRIPT
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...