Abstract
This paper presents the design and implementation of logic language interface on conventional network database systems which provide network data structure and navigational data manipulation language. This interface provides users with unified view of various data structures in logics and inference facilities of theorem proving. Although most researchers try to combine logic systems like Prolog and relational database systems, we try to augment the conventional network database system with logic interface, since the network ones have been already mainly used in database applications. This also can be used as a common interface on heterogeneous database systems in distributed database systems. We show a refutation procedure which can reduce the search space by avoiding meaningless backtracking and redundant refutations.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
