Many capabilities that are needed for recursive applications in engineering and project
management are not well supported by the usual formulations of recursion. We identify a …

Existing database management systems will be inadequate for many of the information
processing applications (eg, business and industrial automation, CAD/CAM, and military …

In this paper, we propose an efficient depth video coding method for the 3D video (3DV)
system. Since the boundary information of depth video significantly affects the rendering …

This paper presents a parallel algorithm for recursive query processing and shows how it
can be efficiently implemented in a local computer network. The algorithm relies on an …

Deductive conceptual models (DCMs) aim at providing a complete specification of
information systems, expressing only its logic component. It has been shown that DCMs …

An extensible markup language (XML) expression included in a query is parsed to yield an
abstract syntax tree. The abstract syntax tree is then transformed into a unified tree including …

A relational knowledge base model and an architecture which manipulates the model are
presented. An item stored in the relational knowledge base is called a term. A unification …

T okyo's Institute for New Generation Computer Technology, known as the ICOT, has been
conducting research and develop-ment on fifth-generation computer systems since 1982 …

It is shown how Horn logic programs can be implemented using database techniques,
namely, mostly bottom-up in combination with certain top-down elements (as opposed to the …

A PROLOG-based experimental system is developed for relational databases. In this
system, all manipulation is based on a knowledge representation that binds the instance …