Logic Interface System on Navigational Database Systems.
Makoto TakizawaHideaki ItohKunihiko MoriyaPublished in: LP (1986)
Keyphrases
- automated reasoning
- database systems
- proof theory
- interface design
- database interface
- query optimization
- query processing
- user interface
- graphical interface
- database design
- databases
- visual interface
- database technology
- data model
- database
- multilevel secure
- data management
- data types
- database management systems
- relational database systems
- transaction processing
- human computer interaction
- multi valued
- database server
- classical logic
- logic programs
- spatio temporal databases
- index structure
- web server
- database applications