標(biāo)題: Titlebook: MFDBS 91; 3rd Symposium on Mat Bernhard Thalheim,János Demetrovics,H. -D. Gerhard Conference proceedings 1991 Springer-Verlag Berlin Heidel [打印本頁(yè)] 作者: 即將過(guò)時(shí) 時(shí)間: 2025-3-21 19:06
書(shū)目名稱MFDBS 91影響因子(影響力)
書(shū)目名稱MFDBS 91影響因子(影響力)學(xué)科排名
書(shū)目名稱MFDBS 91網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱MFDBS 91網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱MFDBS 91被引頻次
書(shū)目名稱MFDBS 91被引頻次學(xué)科排名
書(shū)目名稱MFDBS 91年度引用
書(shū)目名稱MFDBS 91年度引用學(xué)科排名
書(shū)目名稱MFDBS 91讀者反饋
書(shū)目名稱MFDBS 91讀者反饋學(xué)科排名
作者: 按時(shí)間順序 時(shí)間: 2025-3-21 20:21 作者: Irremediable 時(shí)間: 2025-3-22 04:15 作者: 暫時(shí)過(guò)來(lái) 時(shí)間: 2025-3-22 05:05
On the representation of dependencies by propositional logic,rized for both FDs and BDs. In the case of FDs propositional logic is applied to find Armstrong relations and keys. BDs are not Armstrong dependencies. The problem to decide if a given BD has an Armstrong relation is shown to be an NP-hard problem. For BDs keys and covers are viewed as .. An algorithm to find keysets is given.作者: 哪有黃油 時(shí)間: 2025-3-22 12:35 作者: 審問(wèn) 時(shí)間: 2025-3-22 14:03
Andreas Heuer,Peter Sanderen.übersichtliches Arbeits- und Nachschlagewerk für Professi.Kompetenz in Lebensmittelsicherheit bedeutet Verst?ndnis und Know-how über Aufbau, Zusammensetzung und Eigenschaften der Lebensmittel und ihrer Rohstoffe sowie über die Zusammenh?nge der globalen Versorgungskette. M?glicherweise k?nnen Leb作者: AWRY 時(shí)間: 2025-3-22 21:01
Leonid Libkinen.übersichtliches Arbeits- und Nachschlagewerk für Professi.Kompetenz in Lebensmittelsicherheit bedeutet Verst?ndnis und Know-how über Aufbau, Zusammensetzung und Eigenschaften der Lebensmittel und ihrer Rohstoffe sowie über die Zusammenh?nge der globalen Versorgungskette. M?glicherweise k?nnen Leb作者: A精確的 時(shí)間: 2025-3-22 22:11 作者: Ablation 時(shí)間: 2025-3-23 03:32
E. Laenens,D. Vermeiroffe sowie über die Zusammenh?nge der globalen Versorgungskette. M?glicherweise k?nnen Lebensmittel neben den erforderlichen N?hrstoffen und den erwünschten Faktoren auch unerwünschte Stoffe enthalten. Diese chemisch definierten Stoffe, deren Vorkommen aus gesundheitlichen Gründen nicht erwünscht is作者: CONE 時(shí)間: 2025-3-23 09:05
Dimitri Theodoratosoffe sowie über die Zusammenh?nge der globalen Versorgungskette. M?glicherweise k?nnen Lebensmittel neben den erforderlichen N?hrstoffen und den erwünschten Faktoren auch unerwünschte Stoffe enthalten. Diese chemisch definierten Stoffe, deren Vorkommen aus gesundheitlichen Gründen nicht erwünscht is作者: CLEAR 時(shí)間: 2025-3-23 20:08 作者: Ibd810 時(shí)間: 2025-3-23 23:25
Complex object multi-level fixpoint queries,pressing queries which involve deeply nested information in a flexible way, avoiding the need for explicit restructuring through nesting and unnesting. Another deals with extending the expressive power of the nested algebra, by providing iteration or recursion constructs, such as fixpoints. In this 作者: 宣稱 時(shí)間: 2025-3-24 05:38 作者: TRAWL 時(shí)間: 2025-3-24 08:11 作者: 暗諷 時(shí)間: 2025-3-24 14:45
Specifying operations for nested relations by rules and partial orders,e a class of purely lattice-based languages, each of them depending on a fixed partial order. We show that for each ordering the semantics of a program can be equivalently defined by minimal model and least fixpoint semantics. Thus our approach is semantically first order. Two well-known orderings —作者: offense 時(shí)間: 2025-3-24 17:29 作者: 專心 時(shí)間: 2025-3-24 22:02 作者: 笨重 時(shí)間: 2025-3-25 00:27
Actor-oriented specification of deontic integrity constraints,an specify in deontic logic that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Intuitively, deontic logic presupposes the concept of an . who undertakes actions and is responsible for fulfilling obligations. 作者: calumniate 時(shí)間: 2025-3-25 05:49 作者: abracadabra 時(shí)間: 2025-3-25 10:32 作者: 培養(yǎng) 時(shí)間: 2025-3-25 11:40 作者: 花費(fèi) 時(shí)間: 2025-3-25 15:48
The Nested Interpolation Based Grid File,a new structure for physically organizing a set of multidimensional points. This structure called the Nested Interpolation-Based Grid File (NIBGF) represents a synthesis and an improvement of results obtained in Interpolation-Based Grid Files (IBGF), BANG files, and K-D-B-trees. The data search spac作者: FORGO 時(shí)間: 2025-3-25 21:26
Complexity of recursive production rules execution,nt an approach based on graph modelling. We show on some elementary recursive rules the power of this method. We assume a realistic probabilistic model, i.e. the data distributions of the relations involved may be dependent and non-uniform. Under smooth hypotheses, we introduce a notion of “maximum 作者: Pseudoephedrine 時(shí)間: 2025-3-26 03:49 作者: 簡(jiǎn)略 時(shí)間: 2025-3-26 07:40 作者: Digest 時(shí)間: 2025-3-26 10:00 作者: 范例 時(shí)間: 2025-3-26 14:07 作者: 北極人 時(shí)間: 2025-3-26 20:20
Monadic databases with equality,t domain elements are represented by unary predicate symbols and not as constant symbols. We provide a formal system for ME-databases and we prove its soundness and completeness. We give also polynomial algorithms for evaluating elementary queries corresponding to the implication problem on ME-databases.作者: 惹人反感 時(shí)間: 2025-3-26 23:47 作者: 分解 時(shí)間: 2025-3-27 02:38
0302-9743 ock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. .MFDBS 91. covers new developments in theoretical aspects of database and knowledge base systems and the design of d作者: entice 時(shí)間: 2025-3-27 09:14
Conference proceedings 1991May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. .MFDBS 91. covers new developments in theoretical aspects of database and knowledge base systems and the design of databases a作者: 小卒 時(shí)間: 2025-3-27 12:06
Specifying operations for nested relations by rules and partial orders,pproach. Finally, we define the meta-concept . that enables us to express operations being non-monotone with respect to each possible partial order. This concept is comparable to the concept of stratification in other approaches, but the basic idea is different.作者: Figate 時(shí)間: 2025-3-27 15:44 作者: 孤僻 時(shí)間: 2025-3-27 20:09 作者: cluster 時(shí)間: 2025-3-28 00:49 作者: ADORE 時(shí)間: 2025-3-28 05:52 作者: Heresy 時(shí)間: 2025-3-28 06:58 作者: agenda 時(shí)間: 2025-3-28 12:40
Actor-oriented specification of deontic integrity constraints,Until now, this concept has not been formalized. We present a formalization that increases the expressivity of database specifications, as well as allows us to solve a long-standing paradox of deontic logic.作者: 逃避現(xiàn)實(shí) 時(shí)間: 2025-3-28 18:31 作者: 束以馬具 時(shí)間: 2025-3-28 21:22
Pairwise-definable subdirect decompositions of general database schemata,eneral context in which schemata are just sets and views are defined by surjective functions. This is accomplished by replacing the notion of hypergraph of a schema (which is specific to the relational model) with the much more general notion of pairwise definability, which is meaningful in the context of any decomposition into a set of views.作者: Lobotomy 時(shí)間: 2025-3-29 00:38
Peter Sanderrfolgreiche Minimierungsstrategien entwickeln zu k?nnen. In diesem Spannungsfeld ist die Lebensmittelchemie neben anderen Fachwissenschaften ein zentraler Dreh- und Angelpunkt. Das Buch ist aus der Erkenntnis entstanden, dass?.Health.?und?.Food.?absolute Megathemen unserer modernen Gesellschaft gewo作者: 高興去去 時(shí)間: 2025-3-29 04:57 作者: 虛構(gòu)的東西 時(shí)間: 2025-3-29 08:21
Dimitri Theodoratosrfolgreiche Minimierungsstrategien entwickeln zu k?nnen. In diesem Spannungsfeld ist die Lebensmittelchemie neben anderen Fachwissenschaften ein zentraler Dreh- und Angelpunkt. Das Buch ist aus der Erkenntnis entstanden, dass?.Health.?und?.Food.?absolute Megathemen unserer modernen Gesellschaft gewo作者: STENT 時(shí)間: 2025-3-29 14:27 作者: 廢止 時(shí)間: 2025-3-29 19:10 作者: 群居男女 時(shí)間: 2025-3-29 20:22 作者: concentrate 時(shí)間: 2025-3-29 23:58 作者: EXULT 時(shí)間: 2025-3-30 05:30 作者: LUDE 時(shí)間: 2025-3-30 10:04 作者: 慢跑鞋 時(shí)間: 2025-3-30 12:48
Conference proceedings 1991uery languages, transaction processing, distributed databases, concurrency control, access strategies, recovery, security, privacy, safety; fundamentals for integrity constraints and consistency in databases; models for database machines; models for user interfaces; design and implementation of non-standard databases.作者: 遺傳學(xué) 時(shí)間: 2025-3-30 18:04 作者: 引水渠 時(shí)間: 2025-3-30 23:59 作者: interpose 時(shí)間: 2025-3-31 02:39
On the monotonicity of (LDL) logic programs with set, programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. These conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms 作者: 原來(lái) 時(shí)間: 2025-3-31 07:19 作者: packet 時(shí)間: 2025-3-31 12:13 作者: corn732 時(shí)間: 2025-3-31 15:57 作者: 蘆筍 時(shí)間: 2025-3-31 18:30 作者: 惡意 時(shí)間: 2025-4-1 00:37
W. Fernandez de la Vega,V. Th Paschos,A. N. Stafylopatis作者: Stricture 時(shí)間: 2025-4-1 03:52
Environmental Securityations with a vaguely environmental designation’ are now ‘part of international political discourse and policy initiatives, environment cannot be separated from matters of what is now called “global” security’ (Dalby, 2002a, p. 95; Worldwatch Institute, 2005).作者: Glucocorticoids 時(shí)間: 2025-4-1 07:28
J.M.W. Hazes,Annemarie de Vroed,H.M. Wintjese this, different approaches to market making are offered by the Pathway protocol, focused on two major goals: first, to bring the token price for a particular trading pair to a certain target price, and second, to keep the liquidity of that trading pair intact. The original publication on the Pathw作者: Conscientious 時(shí)間: 2025-4-1 12:13 作者: Synthesize 時(shí)間: 2025-4-1 17:23
Europa als vision?re Idee und gesellschaftliche Realit?tuierten bürgerlichen Gesellschaft im westdeutschen Wiederauf-bau doch insgesamt in starkem Ma?e von den konzeptionellen Angeboten,wie sie besonders in den Jahren der Weimarer Republik gepr?gt worden waren. Insofern ergaben sich charakteristische zeitspezifische Ungleichzeitigkeiten. W?hrend die wirt作者: conflate 時(shí)間: 2025-4-1 20:36
Eugen Dieteriches the reader with an excellent map of the terrain of these problems and aims to help the student of Plato clarify the tensions involved, showing especially how each major stance on Socrates entails problematic978-3-030-08302-1978-3-319-76831-1Series ISSN 2524-7166 Series E-ISSN 2524-7174 作者: jaunty 時(shí)間: 2025-4-2 00:37
Transcatheter Aortic Valve Replacement,Abbiamo già avuto modo di incontrare la . a proposito della soluzione fondamentale dell’equazione del calore. Un’altra interessante situazione è la seguente, nella quale si vede come la misura di Dirac sia legata a fenomeni di tipo impulsivo.作者: 多山 時(shí)間: 2025-4-2 05:07 作者: 舊式步槍 時(shí)間: 2025-4-2 10:49
