標(biāo)題: Titlebook: LOGIDATA+: Deductive Databases with Complex Objects; Paolo Atzeni Book 1993 Springer-Verlag Berlin Heidelberg 1993 Complex Objects.Databas [打印本頁] 作者: 使委屈 時間: 2025-3-21 19:08
書目名稱LOGIDATA+: Deductive Databases with Complex Objects影響因子(影響力)
書目名稱LOGIDATA+: Deductive Databases with Complex Objects影響因子(影響力)學(xué)科排名
書目名稱LOGIDATA+: Deductive Databases with Complex Objects網(wǎng)絡(luò)公開度
書目名稱LOGIDATA+: Deductive Databases with Complex Objects網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱LOGIDATA+: Deductive Databases with Complex Objects被引頻次
書目名稱LOGIDATA+: Deductive Databases with Complex Objects被引頻次學(xué)科排名
書目名稱LOGIDATA+: Deductive Databases with Complex Objects年度引用
書目名稱LOGIDATA+: Deductive Databases with Complex Objects年度引用學(xué)科排名
書目名稱LOGIDATA+: Deductive Databases with Complex Objects讀者反饋
書目名稱LOGIDATA+: Deductive Databases with Complex Objects讀者反饋學(xué)科排名
作者: crease 時間: 2025-3-21 22:38
Bridging objects with logical rules: towards object oriented deductive databases,ems from two arguments; on one hand, object-orientation brings powerful data modeling capabilities by adding semantic and structural complexity to value-based relational databases. On the other hand, logic programming languages provide means for expressing queries and updates on a database with a de作者: 暫時中止 時間: 2025-3-22 02:20
The LOGIDATA+ model,ons (value based), and functions. Classes can be referred to in relations and functions. Is-a relationships can be defined on classes. Complex values can be built by means of the recursive use of set, tuple, and sequence constructors. As usual in database frameworks, the model has an intensional lev作者: GOAD 時間: 2025-3-22 06:46
The LOGIDATA+ language and semantics,and data functions. Negation is allowed in the body of rules. The semantics is based on a fixpoint operator and represents an extension of ordinary declarative-language semantics. The main issue is the management of oid-invention, that is, the creation and manipulation of objects belonging to the cl作者: GENUS 時間: 2025-3-22 09:30
Travel agency: A LOGIDATA+ application,s concerned with the construction of travels on the basis of the client? specifications. The program queries the database and generates a report with all the available choices in terms of transfers and accomodations. The scheme and the clauses use a wide range of language functionalities, as complex作者: FLAGR 時間: 2025-3-22 15:21
Management of extended update operations,ors are introduced, which correspond to basic manipulations of complex data entities with object identity. These operators can be used in rules bodies for specifying complex update transactions. The resulting language is first informally presented by using several examples. Then, the syntax and the 作者: squander 時間: 2025-3-22 18:27 作者: 開始從未 時間: 2025-3-22 22:09 作者: BLOT 時間: 2025-3-23 04:43
Taxonomic reasoning with cycles in LOGIDATA+,, which extends LOGIDATA. to perform taxonomic reasoning in the presence of cyclic class definitions is introduced. It includes the notions of . of a schema; . of a schema, defined as the . fixed-point of possible instances; .. On the basis of this framework, the definitions of . and . are introduce作者: NOCT 時間: 2025-3-23 06:11 作者: 的闡明 時間: 2025-3-23 13:34 作者: Frenetic 時間: 2025-3-23 16:41
LOA: the LOGIDATA+ Object sAlgebra, funded by the Italian National Research Council, as an internal language in a prototype system for the management of extended relational databases with complex object types. LOA is a set-oriented manipulation language which was conceived as an internal language for a prototype system..More precisel作者: Charlatan 時間: 2025-3-23 18:41
The LOGIDATA+ prototype system,types, object identity and sharing. The system has an interactive user interface, with a units interaction composed by LOGIDATA+ programs, that can extract information from the knowledge base and/or modify the schema. A program consists of a set of rules written in the LOGIDATA+ language, and of add作者: 彎彎曲曲 時間: 2025-3-23 23:20
MOOD An architecture for object oriented access to a relational data base,own data model, which is Object-Oriented, and supports object identity, generalization hierarchies, and object sharing; by processing schema definitions, the MOOD system builds a relational schema and a C++ Class Library that enable the interaction between a C++ programming environment and a convent作者: 四溢 時間: 2025-3-24 04:00 作者: Anterior 時間: 2025-3-24 09:28 作者: 詳細(xì)目錄 時間: 2025-3-24 13:05 作者: deficiency 時間: 2025-3-24 18:31 作者: Priapism 時間: 2025-3-24 20:13
Marco Lugli,Luca Nini,Stefano Cerischweren An?mie leiden. Diese entsteht, weil die roten Blutk?rperchen des Kindes durch die Wirkung mütterlicher Antik?rper zerfallen und ihr H?moglobin freisetzen. Die Mutter kann diese Antik?rper gebildet haben, wenn sie früher eine unvertr?gliche Bluttransfusion bekommen hat oder wenn ein vorherge作者: 反應(yīng) 時間: 2025-3-25 00:33
A. Artale,J. P. Ballerini,S. Bergamaschi,F. Cacace,S. Ceri,F. Cesarini,A. Formica,S. Greco,H. Lam,G.?t an den Magen an, von dem er durch den Pf?rtner-Schlie?muskel (Pylorus) getrennt ist, und geht über in das Jejunum, den n?chsten Abschnitt des Dünndarms. Geschwüre, also Schleimhautdefekte, treten gew?hnlich im ersten Teil des Zw?lffingerdarms auf, da nur hier die S?ure-Pepsin-Mischung aus dem Mag作者: 密切關(guān)系 時間: 2025-3-25 06:43 作者: 出生 時間: 2025-3-25 09:29
The LOGIDATA+ model,can be built by means of the recursive use of set, tuple, and sequence constructors. As usual in database frameworks, the model has an intensional level (with the notion of scheme) and an extensional level, (with the notion of instance). A data definition language for the description of LOGIDATA+ schemes is also presented.作者: 很是迷惑 時間: 2025-3-25 13:50 作者: Nuance 時間: 2025-3-25 16:34 作者: 狗窩 時間: 2025-3-25 23:58
Management of extended update operations, for specifying complex update transactions. The resulting language is first informally presented by using several examples. Then, the syntax and the semantics are formally given. Finally, an abstract interpreter is proposed, and its correctness is discussed.作者: prediabetes 時間: 2025-3-26 00:40
Taxonomic reasoning in LOGIDATA+,ips (i.e. compute . between classes on the basis of their descriptions. From a theoretical point of view, this approach makes it possible to give a formal definition of . to a schema, while, from a pragmatic point of view, it is possible to automatically . a new class in the correct position of a given taxonomy.作者: 謙虛的人 時間: 2025-3-26 06:14
Taxonomic reasoning with cycles in LOGIDATA+,d and the necessary algorithms to detect incoherence and compute subsumption in a LOGIDATA. schema are given. Some examples of subsumption computation show its feasibility for schema design and validation.作者: resilience 時間: 2025-3-26 11:25
Introducing taxonomic reasoning in LOGIDATA+,ng us to deal with a form of incomplete knowledge in a way that is semantically correct. After introducing defined classes and the notion of interpretation function, it is possible to formally define the concept of subsumption, an inference technique that makes it possible reasoning about objects and classes on the basis of their descriptions.作者: heterodox 時間: 2025-3-26 12:48 作者: mutineer 時間: 2025-3-26 18:19
Book 1993research actionfunded by the Italian national research council CNR.Theaim of the LOGIDATA+ project is the definition ofadvanced database systems which significantly extend thefunctionalities of the current systems, with specificreference to the application areas for which relationalsystemsare not co作者: FRAUD 時間: 2025-3-27 00:26 作者: 鞭打 時間: 2025-3-27 03:44
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/580130.jpg作者: 分開如此和諧 時間: 2025-3-27 08:41 作者: maintenance 時間: 2025-3-27 11:21
LOGIDATA+: Deductive Databases with Complex Objects978-3-540-47844-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 愛花花兒憤怒 時間: 2025-3-27 15:34 作者: Barter 時間: 2025-3-27 20:50
Evaluation of negative logic programs,Negative programs are logic programs where negation may arise also in the head of rules and have been recently introduced to handle exceptions to general rules. In this paper we present efficient techniques for computing the intended model of stratified negative programs.作者: orient 時間: 2025-3-27 22:29
Effective implementation of negation in database logic query languages,Total stable models provide a powerful semantics for DATALOG. programs which increases the expressive power of current database query language by means of non-determinism. An efficient algorithm for determining one of stable models of a DATALOG. programs, if any, is presented so that stable models may have also a practical interest.作者: 生氣的邊緣 時間: 2025-3-28 04:06 作者: STERN 時間: 2025-3-28 10:13
Nicola Leone,Massimo Romeo,Pasquale Rullo,Domenico Saccàallerdings, um über vergangene Schuld unserer wissenschaftlichen V?ter und Gro?v?ter zu urteilen, die auch als Wissenschaftler Kinder ihrer Zeit waren, wie wir Kinder unserer Zeit sind. Sondern uns wird die Frage besch?ftigen, wo für uns Heutige die Gefahren liegen, in Schuld verstrickt zu werden.作者: Urologist 時間: 2025-3-28 12:38
Annalina Fabrizio,Maurizio Capaccioli,Sandra Valeriallerdings, um über vergangene Schuld unserer wissenschaftlichen V?ter und Gro?v?ter zu urteilen, die auch als Wissenschaftler Kinder ihrer Zeit waren, wie wir Kinder unserer Zeit sind. Sondern uns wird die Frage besch?ftigen, wo für uns Heutige die Gefahren liegen, in Schuld verstrickt zu werden.作者: Fester 時間: 2025-3-28 16:45 作者: Proponent 時間: 2025-3-28 21:56 作者: FOLD 時間: 2025-3-29 02:22
Marco Lugli,Luca Nini,Stefano Ceriegentlich sind sie taub oder geistig behindert. Oft k?nnen sie durch eine Blutaustausch-Transfusion gerettet werden. Leicht betroffene Kinder erholen sich von selbst. Es besteht aber eine sehr ernste Sorge für Ehepaare, wenn die Frau Rh-negativ und der Mann Rh-positiv ist. Ungef?hr 85 % der Bev?lker作者: 斷斷續(xù)續(xù) 時間: 2025-3-29 03:14 作者: Ceramic 時間: 2025-3-29 07:41
ere klinische und labortechnische Ma?nahmen auch im Zusammenhang mit der Gesamtsituation gesehen werden (z. B. inwieweit das Risiko einer Schwangerschaft genetisch beeinflu?t ist, mit den anderen Ma?nahmen wie Carrier-Diagnostik, mit dem Behandlungspotential der fraglichen Krankheit und nicht zuletz作者: 冒失 時間: 2025-3-29 15:07 作者: debunk 時間: 2025-3-29 18:01
Bridging objects with logical rules: towards object oriented deductive databases,However, while structural and semantic complexity have been introduced without difficulty in the deductive context, the object oriented concepts that are more related to the data abstraction notion are more difficult to introduce. Therefore, the introduction of . in the logic programming area is the作者: STERN 時間: 2025-3-29 20:41 作者: ascetic 時間: 2025-3-30 01:35 作者: 主動 時間: 2025-3-30 05:16
The LOGIDATA+ prototype system,rograms, i.e. sequences of fixpoint systems of algebraic equations. The object oriented schema is mapped into a relational schema, and the database is actually managed by a relational DBMS, that provides the basic support for the permanent storage of data as well as for concurrency control and recov作者: 出生 時間: 2025-3-30 08:17 作者: 道學(xué)氣 時間: 2025-3-30 14:51 作者: 洞穴 時間: 2025-3-30 17:19 作者: Outwit 時間: 2025-3-30 21:11
Paolo Atzeni,Filippo Cacace,Stefano Ceri,Letizia Tanca作者: probate 時間: 2025-3-31 04:50 作者: 可觸知 時間: 2025-3-31 05:07
Domenico Beneventano,Sonia Bergamaschi,Claudio Sartori,Alessandro Artale,Francesca Cesarini,Giovanni作者: insolence 時間: 2025-3-31 10:54 作者: Osteoporosis 時間: 2025-3-31 16:51
Domenico Beneventano,Sonia Bergamaschi,Claudio Sartori
