ACL RD-TEC 1.0 Summarization of C80-1032
Paper Title:
DATABASE SYSTEM BASED ON INTENSIONAL LOGIC
DATABASE SYSTEM BASED ON INTENSIONAL LOGIC
Authors: Naoki Yonezaki and Hajime Enomoto
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- characters
- composition
- concepts
- data model
- data structure
- data type
- definition language
- formal description
- frame
- hierarchical structure
- intelligence
- intensional logic
- interpretation
- logic
- meaning
- modal logic
- names
- natural language
- queries
- query
- relation
- schema
- symbol
- syntactic structure
- syntax
- technology
- term
- terms
- theory
- tree
- type theory
- word
