نتایج جستجو برای: hyper mv deductive system
تعداد نتایج: 2272927 فیلتر نتایج به سال:
در فصل اول، به بیان مبحث کاتگوری و برخی از مفاهیم آن به طور مختصر می پردازیم. سپس مفاهیمی از توپولوژی را مطرح کرده و پس از آن به معرفی کوتاهی از bl- جبر ها و طیف اول خواهیم پرداخت. مطالب این فصل پیش نیازی برای بیان فصل های بعدی می باشند. در فصل دوم پس از تعریف l-گروه و طرح چند قضیه مرتبط با آن، به سراغ mv- جبر و اصول و ساختار حاکم بر آن می رویم. بدون آشنایی با مبحث mv- جبر قادر به بررسی و درک ...
ROCK & ROLL is a deductive object-oriented database system that supports two languages, one imperative and the other deductive, both derived from the same object-oriented data model. As the languages share a common type system, they can be integrated without manifesting impedance mismatches, and thus programmers can conveniently exploit both deductive and imperative features in a single applica...
A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas { 〈α, β〉 : T, α `S β and T, β `S α }, is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deduction theorem of the classical and intuitionistic proposi...
This paper describes a Deductive Object-Oriented Database (DOOD) system that is built on top of an active Object-Oriented Database (OODB) system. The system, named DEVICE, uses the primitives of the latter, like active rules, simple and complex events, to integrate deductive and production rules. The integration is based on the emulation of deductive rules by special purpose if-then-else produc...
The notion of deductive database is generalized by extending the rst-order language, used to formulate facts, rules and constraints, to a rst-order language involving time operators. A deductive database based on such an extended language is called temporal. In this paper, we rst introduce two additional time operators, one to reference past tenses, the other to reference future tenses. Then, t...
We review in this paper both a framework for integrating the treatment of advanced update problems in deductive databases and the architecture of the FOLRE deductive database management system prototype, which extends the basic updating facilities provided by current deductive database systems. The distinguishing feature of our approach is the underlying integrative framework used to specify an...
hyper-tubes consisting of hyper-cubes of n-dimensions were designed and formulas for substructures of vary dimensions established.
Intrinsic neuronal excitability has been reported to change during normal aging. The bed nucleus of the stria terminalis (BNST), a limbic forebrain structure, is involved in fear, stress and anxiety; behavioral features that exhibit age-dependent properties. To examine the effect of aging on intrinsic neuronal properties in BNST we compared patch clamp recordings from cohorts of female mice at ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید