標(biāo)題: Titlebook: Next Generation Information System Technology; First International Joachim W. Schmidt,Anatoly A. Stogny Conference proceedings 1991 Spring [打印本頁] 作者: abandon 時間: 2025-3-21 16:51
書目名稱Next Generation Information System Technology影響因子(影響力)
書目名稱Next Generation Information System Technology影響因子(影響力)學(xué)科排名
書目名稱Next Generation Information System Technology網(wǎng)絡(luò)公開度
書目名稱Next Generation Information System Technology網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Next Generation Information System Technology被引頻次
書目名稱Next Generation Information System Technology被引頻次學(xué)科排名
書目名稱Next Generation Information System Technology年度引用
書目名稱Next Generation Information System Technology年度引用學(xué)科排名
書目名稱Next Generation Information System Technology讀者反饋
書目名稱Next Generation Information System Technology讀者反饋學(xué)科排名
作者: crease 時間: 2025-3-21 22:48
Updating Datalog databases,problem: i) the formalization of a declarative, model-theoretic semantics of insertions (and, dually, of deletions), with potential, minimal, and deterministic results; ii) an operational, proof-theoretic approach, that turns out to be equivalent to the declarative one.作者: indemnify 時間: 2025-3-22 00:42 作者: Harass 時間: 2025-3-22 07:45
,Declarative languages — Paradigm of the past or challenge of the future?,sirable and can be achieved without suffering from the drawbacks encountered when simply combining existing query and programming languages. In this paper we outline the basic design decisions of an experimental language aimed at a knowledge-based style of persistent programming.作者: Commission 時間: 2025-3-22 12:37
An object-oriented data model for artificial intelligence applications, of the paper the syntax and formal semantics of . are introduced; then the rules to compute subsumption between types are defined. Finally it is shown that subsumption for . is sound and complete; furthermore, we prove that . is tractable though it results to be more expressive than ., the tractable form of ..作者: 表臉 時間: 2025-3-22 15:02 作者: Incommensurate 時間: 2025-3-22 18:07 作者: epicondylitis 時間: 2025-3-23 00:46
The LOGIDATA+ model and language,s: classes, relations and functions. LOGIDATA+ databases can be accessed by means of a rule-based language, a typed extension of logic programming languages with specific constructs to refer to classes, functions, and relations.作者: 高貴領(lǐng)導(dǎo) 時間: 2025-3-23 01:49
A glimpse of paradise,tures..With these basic ideas in mind, we shall propose and sketch a specific design for a language and lay out some explicit requirements. Doing so, we shall try to compare this attempt to the state of the art.作者: deface 時間: 2025-3-23 07:54
Typing schemes for objects with locality,of an object is part of its static type specification and the predefined reachability constraint is enforced via a static typing discipline. We conclude by highlighting the impact of locality information on the operational support to be expected by next generation database systems.作者: Hemiparesis 時間: 2025-3-23 13:04 作者: 的事物 時間: 2025-3-23 16:03
Conference proceedings 1991 orientation, data deduction and extended knowledge representation schemes), there is improved systems integration, and there are new tools. All these extensions aim to provide semantically richer and better engineered information systems that allow for more adequate and complete representations and作者: Prophylaxis 時間: 2025-3-23 21:15 作者: Exuberance 時間: 2025-3-24 00:42 作者: Fulsome 時間: 2025-3-24 04:03
An object-oriented data model for artificial intelligence applications,I applications addressed is that of Terminological Systems, such as KL-One and Back, characterized by Frame Definition Languages..In the paper we present the Object-Oriented data language . with the intention of assessing its adequacy in supporting AI applications. To this end we compare . with ., a作者: AWE 時間: 2025-3-24 08:50 作者: 密碼 時間: 2025-3-24 10:57 作者: 開花期女 時間: 2025-3-24 17:02 作者: 復(fù)習(xí) 時間: 2025-3-24 22:40
Typing schemes for objects with locality,ependencies between objects, for example, sharing and cyclicity. For object stores to become a viable technology for large shared databases, a certain degree of spatial control over object dependencies (or object .) seems to be essential. This paper exploits the power of a static type system to capt作者: 無力更進(jìn) 時間: 2025-3-25 00:58
,Object orientation and logic programming for databases: A season’s flirt or long-term marriage?,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-25 05:25 作者: 帶來 時間: 2025-3-25 07:47
Extending the entity-relationship model for a high-level, theory-based database design,tabase to a high-performance database schema in the model of the corresponding DBMS. Since the late 1970‘s, various methodologies for database design have been introduced. Most of them, however, are dependent on the knowledge, comprehension and experience of the database analyst and their knowledge 作者: Alpha-Cells 時間: 2025-3-25 14:44 作者: 幾何學(xué)家 時間: 2025-3-25 19:35
Modelling inheritance in a strongly typed functional model,tion. There seems to be a rather general consensus that the object-oriented data models fall within the class of procedural (non-declarative) data models. This is primarily due to the fact that the essential features of OO data models have been derived from the background of OO programming, while de作者: Encephalitis 時間: 2025-3-25 21:00 作者: 甜瓜 時間: 2025-3-26 01:57
Controlled generation of intensional answers,tabase. This paper motivates the concept of intensional answers and introduces a general method for generating them as logical consequences of the query and of deduction rules. It then shows how integrity constraints can filter out inadequate answers and produce simpler and more informative answers.作者: Contort 時間: 2025-3-26 06:59 作者: 沙發(fā) 時間: 2025-3-26 08:32 作者: Rheumatologist 時間: 2025-3-26 14:30 作者: 細(xì)胞學(xué) 時間: 2025-3-26 17:52
Toward multiparadigm database interfaces,nted. In addition to the relational facilities the environment supports object type hierarchies based on type extensions. The related inclusion polymorphism applies also to object identifiers permitting a high degree of flexibility in defining and manipulating complex objects. The degree of polymorp作者: antenna 時間: 2025-3-26 22:52
Updating Datalog databases,t to specify their semantics in an unambiguous way in terms of updates to base relations. This paper offers two contributions to the solution of this problem: i) the formalization of a declarative, model-theoretic semantics of insertions (and, dually, of deletions), with potential, minimal, and dete作者: 在前面 時間: 2025-3-27 03:18 作者: 分開如此和諧 時間: 2025-3-27 08:01
Rainer Mantheyame time, but the number of users is limited by the multiuser interference (MUI) (see, e.g. [54]) due to the fact that the spread spectrum codes are not orthogonal. In real systems, not only the number of users increases the MUI but we also have to deal with the relative distances of them from the r作者: Silent-Ischemia 時間: 2025-3-27 12:31 作者: definition 時間: 2025-3-27 13:55
Paolo Atzeni,Letizia Tancacation rather than covering the theoretical aspects of Suppo.A guide on the use of SVMs in pattern classification, including a rigorous performance comparison of classifiers and regressors. The book presents architectures for multiclass classification and function approximation problems, as well as 作者: 截斷 時間: 2025-3-27 20:59
David Stemple,Tim Sheardcation rather than covering the theoretical aspects of Suppo.A guide on the use of SVMs in pattern classification, including a rigorous performance comparison of classifiers and regressors. The book presents architectures for multiclass classification and function approximation problems, as well as 作者: Sedative 時間: 2025-3-28 01:41
Suad Alagi?r machines (SVMs) a.k.a. kernel machines. The basic aim of this introduction. is to give, as far as possible, a condensed (but systematic) presentation of a novel learning paradigm embodied in SVMs. Our focus will be on the constructive learning algorithms for both the classification (pattern recogn作者: clarify 時間: 2025-3-28 04:30 作者: cancellous-bone 時間: 2025-3-28 08:12
,Object orientation and logic programming for databases: A season’s flirt or long-term marriage?,Concurrent with the deepening of the theory, several prototypes are currently being designed and implemented; among them, the LOGRES system, that will be extensively described in this paper..Theory and prototypes give evidence of a “flirt” between object orientation and logic programming; this paper作者: 柱廊 時間: 2025-3-28 13:51 作者: 身體萌芽 時間: 2025-3-28 17:51
Towards database application systems: Types, kinds and other open invitations,n database systems and their applications and we discuss the implications on the major abstraction principles to be supported by future database programming languages. Finally, we follow the open invitation issued by novel computer languages to exploit their potent conceptual basis for the benefit o作者: vitreous-humor 時間: 2025-3-28 22:21
Modelling inheritance in a strongly typed functional model,ether with clues for treating implementation of various data abstraction level schemas. This may provide an alternative way of looking at the semantics of inheritance as a natural modelling construct associated with the use of union types as opposed to the traditional way of describing the semantics作者: Condyle 時間: 2025-3-29 02:52
Data construction with recursive set expressions,hich are then evaluated in a second step. The first step can be regarded as logic program generation, the second step as program evaluation..We show that for the general case no procedure exists that evaluates an arbitrary set of parameterized constructors and is guaranteed to terminate. However, we作者: 清唱劇 時間: 2025-3-29 06:31 作者: hankering 時間: 2025-3-29 08:48 作者: 榮幸 時間: 2025-3-29 13:26
Paolo Atzeni,Letizia Tanca training based batch training and active-set training methods, and decomposition techniques for linear programming SVMs; Discusses variable selection for support vector regressors..978-1-4471-2548-8978-1-84996-098-4Series ISSN 2191-6586 Series E-ISSN 2191-6594 作者: Conquest 時間: 2025-3-29 15:33
David Stemple,Tim Sheard training based batch training and active-set training methods, and decomposition techniques for linear programming SVMs; Discusses variable selection for support vector regressors..978-1-4471-2548-8978-1-84996-098-4Series ISSN 2191-6586 Series E-ISSN 2191-6594 作者: Debrief 時間: 2025-3-29 22:48 作者: EXUDE 時間: 2025-3-30 02:48
Rainer Mantheyfrequencies for those transmitters which are received from different AOAs. This is only possible if the receiver antenna is able to determine the direction of arrival of each receiver and, then, construct a beamshape for each one of the receivers in order to minimize the cochannel interference.作者: ALLEY 時間: 2025-3-30 06:01
Hassan A?t-Kacifrequencies for those transmitters which are received from different AOAs. This is only possible if the receiver antenna is able to determine the direction of arrival of each receiver and, then, construct a beamshape for each one of the receivers in order to minimize the cochannel interference.作者: peritonitis 時間: 2025-3-30 09:00 作者: Glutinous 時間: 2025-3-30 13:50
0302-9743 ata modelling; - DB application development, methodologies and tools; - Interface technology, parallelism, interoperability, ...; - New database applications.978-3-540-54141-7978-3-540-47444-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: maintenance 時間: 2025-3-30 18:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/666198.jpg作者: FLEET 時間: 2025-3-30 21:37
https://doi.org/10.1007/3-540-54141-1Inform; class; data model; database; information system; modeling; programming; programming language作者: aspect 時間: 2025-3-31 03:28
978-3-540-54141-7Springer-Verlag Berlin Heidelberg 1991作者: APEX 時間: 2025-3-31 05:44
Next Generation Information System Technology978-3-540-47444-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: FLAX 時間: 2025-3-31 09:33
Towards a categorical data model supporting structured objects and inheritance,ectively, and in which the limit of a diagram plays an essential role. Our model incorporates important concepts of known database models (such as structured objects and inheritance) and provides new insights into these models.作者: Allodynia 時間: 2025-3-31 14:13
Bulk types for large scale programming,roperties other than types. Such constructors we call type-quarks. The motivation for and properties of bulk types are discussed. The two examples of bulk types provided via type-quarks, maps and quads, are discussed. Several important questions about this approach to bulk types are identified.作者: considerable 時間: 2025-3-31 18:19
9樓作者: febrile 時間: 2025-4-1 00:56
10樓作者: overwrought 時間: 2025-4-1 02:09
10樓作者: anniversary 時間: 2025-4-1 07:44
10樓作者: colloquial 時間: 2025-4-1 10:52
10樓
