A Distributed Deductive Database System consists of many autonomous deductive database systems connected by a computer network to facilitate sharing of both database and rules. The design of a distributed deductive database system diiers from the design of conventional non-distributed deductive database systems. The former requires design of distribution of both the database and rulebase, where...

Polarity Items are linguistic expressions known for being a ‘lexically controlled’ phenomenon. In this paper we show how their behavior can be implemented in a deductive system. Furthermore, we point out some possible directions to recast the deductive solution into a Tree Adjoining Grammar system. In particular, we suggest to compare the proof system developed for Multimodal Categorial Grammar...

Our current understanding about the AS level topology of the Internet is based on measurements and inductive-type models which set up rules describing the behavior (node and edge dynamics) of the individual ASes and generalize the consequences of these individual actions for the complete AS ecosystem using induction. In this paper we suggest a third, deductive approach in which we have premises...

Microglia is the effector cell of the innate immune system in central nervous system (CNS). These cells mediate inflammatory responses in injuries. Besides external factors, microglial function is also controlled by internal factors, including epigenetic regulations. Mechanisms of epigenetic regulation mainly consist of DNA methylation, histone modifications and use of non-coding RNAs. Recent s...

The paper presents and discusses the distinction between inductive and deductive System Dynamics modeling. Findings are that the distinction between inductive and deductive modeling is helpful in appropriately setting up, conducting, and evaluating System Dynamics projects. The discussion is based on a literature review, conceptual considerations, and the insights gained from case studies, both...

As XML is becoming widely accepted as a mean of storing, searching and extracting information, a larger number of Web applications will require conceptual models and administrative tools to organize their collections of documents. Recently, event-condition-action (ECA) rules have been proposed to provide reactive functionality into XML document databases. However, logical inference mechanisms t...

We propose an integration of XML with F-Logic, a deductive object-oriented database framework. The F-Logic data model is in fact a semistructured data model, exhibiting many similarities with the XML/DOM data model: there is a canonical mapping from XML to a fragment of F-Logic. The advantages of the integration are that the full expressiveness of F-Logic (and the functionality of the FLORID sy...