An extension of a first-order language and its applications (many-sorted logic, distributed database design, resolution, automatic theorem proving, horizontal partitioning)

Authors:
Dong-Guk Shin
Affiliations:
-
Venue:
An extension of a first-order language and its applications (many-sorted logic, distributed database design, resolution, automatic theorem proving, horizontal partitioning)
Year:
1985

Fragmenting Relations Horizontally Using a Knowledge-Based Approach

IEEE Transactions on Software Engineering
Partitioning a relational database horizontally using a knowledge-based approach

SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Selected AI-related dissertations

ACM SIGART Bulletin
A many-sorted resolution based on an extension of a first-order language

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2

Hi-index	0.00