A logical framework for deductive objects

摘要

In this paper we describe a general framework for deductive objects. The overall idea, deductive object, is to utilize an inductive closure defined by a set of generation rules. Under some constraints deductive objects are layered exclusively so that each element has a unique representation. The important point is that we can define new functions declaratively and uniquely over deductive objects. Our major application is complex objects such as string, list and set. They can be described by this framework and the manipulation functions can be specified into database schemas.