International Society for Research in Science and Technology

Displaying 1-3 of 3 results

  • White Papers // Mar 2011

    Sound and Complete Query Answering in Intensional P2P Data Integration

    Contemporary use of the term 'Intension' derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper the authors introduce an intensional FOL (First-Order-Logic) for P2P systems by fusing the Bealer's intensional algebraic FOL with the S5 possible-world semantics of the Montague,...

    Provided By International Society for Research in Science and Technology

  • White Papers // Feb 2011

    Data Base Mappings and Monads: (Co)Induction

    This paper presented the semantics of database mappings in the relational DB category based on the power-view monad T and monadic algebras. The objects in this category are the database-instances (A database-instance is a set of n-ary relations, i.e., a set of relational tables as in standard RDBs). The morphisms...

    Provided By International Society for Research in Science and Technology

  • White Papers // Feb 2011

    Matching, Merging and Structural Properties of Data Base Category

    Main contribution of this paper is an investigation of expressive power of the database category DB. An object in this category is a database-instance (Set of n-ary relations). Morphisms are not functions but have complex tree structures based on a set of complex query computations. They express the semantics of...

    Provided By International Society for Research in Science and Technology

  • White Papers // Feb 2011

    Data Base Mappings and Monads: (Co)Induction

    This paper presented the semantics of database mappings in the relational DB category based on the power-view monad T and monadic algebras. The objects in this category are the database-instances (A database-instance is a set of n-ary relations, i.e., a set of relational tables as in standard RDBs). The morphisms...

    Provided By International Society for Research in Science and Technology

  • White Papers // Feb 2011

    Matching, Merging and Structural Properties of Data Base Category

    Main contribution of this paper is an investigation of expressive power of the database category DB. An object in this category is a database-instance (Set of n-ary relations). Morphisms are not functions but have complex tree structures based on a set of complex query computations. They express the semantics of...

    Provided By International Society for Research in Science and Technology

  • White Papers // Mar 2011

    Sound and Complete Query Answering in Intensional P2P Data Integration

    Contemporary use of the term 'Intension' derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper the authors introduce an intensional FOL (First-Order-Logic) for P2P systems by fusing the Bealer's intensional algebraic FOL with the S5 possible-world semantics of the Montague,...

    Provided By International Society for Research in Science and Technology