دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب MFDBS 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings
دانلود کتاب MFDBS 91: سومین سمپوزیوم مبانی ریاضی سیستم های پایگاه داده و پایگاه دانش Rostock ، آلمان ، 6 تا 9 مه 1991
مشخصات کتاب
MFDBS 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings
ویرایش: 1 نویسندگان: Jan Van den Bussche (auth.), Bernhard Thalheim, János Demetrovics, H. -D. Gerhardt (eds.) سری: Lecture Notes in Computer Science 495 ISBN (شابک) : 3540540091, 9783540540090 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 401 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 49,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب MFDBS 91: سومین سمپوزیوم مبانی ریاضی سیستم های پایگاه داده و پایگاه دانش Rostock ، آلمان ، 6 تا 9 مه 1991: مدل ها و اصول، مدیریت پایگاه داده، هوش مصنوعی (شامل رباتیک)، ترکیبیات، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب MFDBS 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب MFDBS 91: سومین سمپوزیوم مبانی ریاضی سیستم های پایگاه داده و پایگاه دانش Rostock ، آلمان ، 6 تا 9 مه 1991 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب MFDBS 91: سومین سمپوزیوم مبانی ریاضی سیستم های پایگاه داده و پایگاه دانش Rostock ، آلمان ، 6 تا 9 مه 1991
این جلد مجموعه مقالات سمپوزیوم 1991 درباره مبانی ریاضی پایگاه داده و سیستمهای پایگاه دانش، برگزار شده در روستوک، FRG، 6 تا 9 مه 1991 را ارائه میکند. این سومین کنفرانس از مجموعه کنفرانسهای MFDBS دوسالانه است که در آینده برگزار میشود. به همراه ICDT، کنفرانس بین المللی نظریه پایگاه داده برگزار می شود. MFDBS 91 تحولات جدید در جنبه های نظری پایگاه داده و سیستم های پایگاه دانش و طراحی پایگاه های داده و پایگاه های دانش را پوشش می دهد. موضوعات کنفرانس عبارتند از: پایگاه داده و مدل های پایگاه دانش. پایگاه داده قیاسی و سیستم های پایگاه دانش؛ مبانی منطقی، جبری و ترکیبی تئوری پایگاه داده و طراحی پایگاه های داده. پایگاه داده های شی گرا و مدل سازی شی گرا. اصول زبان های پرس و جو، پردازش تراکنش، پایگاه های داده توزیع شده، کنترل همزمان، استراتژی های دسترسی، بازیابی، امنیت، حریم خصوصی، ایمنی. اصول اساسی برای محدودیت های یکپارچگی و سازگاری در پایگاه های داده؛ مدل های ماشین های پایگاه داده؛ مدل های رابط کاربری؛ طراحی و پیاده سازی پایگاه های داده غیر استاندارد.
توضیحاتی درمورد کتاب به خارجی
This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, 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 databases and knowledge bases. Topics of the conference are: database and knowledge base models; deductive database and knowledge base systems; logical, algebraic and combinatorial fundamentals of database theory and design of databases; object-oriented databases and object-oriented modeling; fundamentals of query 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.
فهرست مطالب
Complex object multi-level fixpoint queries....Pages 1-13
Classifying object-oriented query results in a class/type lattice....Pages 14-28
A relational algebra for complex objects based on partial information....Pages 29-43
Specifying operations for nested relations by rules and partial orders....Pages 44-58
On the relationship between well-founded and stable partial models....Pages 59-73
Monadic databases with equality....Pages 74-88
Actor-oriented specification of deontic integrity constraints....Pages 89-103
Solving ambiguities in updating deductive databases....Pages 104-118
On the mean execution time of recursive definitions on relational databases....Pages 119-133
Updating hierarchical databases by complex forms....Pages 134-145
A direct algorithm for computing the transitive closure of a two-dimensionally structured file....Pages 146-159
Multi-granularity locking for nested transaction systems....Pages 160-172
The Nested Interpolation Based Grid File....Pages 173-187
Complexity of recursive production rules execution....Pages 188-200
On the monotonicity of (LDL) logic programs with set....Pages 201-215
Semantic improvement of deductive databases....Pages 216-229
On the representation of dependencies by propositional logic....Pages 230-242
Pairwise-definable subdirect decompositions of general database schemata....Pages 243-257
Functional dependencies in hierarchical structures of data....Pages 258-275
Objects in relational database schemes with functional, inclusion and exclusion dependencies....Pages 276-290
Abstract data type semantics for many-sorted object query algebras....Pages 291-307
Temporal specifications of object behavior....Pages 308-324
Consistency and non-determinism in a database programming language....Pages 325-341
A fact-oriented approach to schema transformation....Pages 342-356
A database needs two kinds of negation....Pages 357-371
Rationale of the O 2 system....Pages 372-376
The background of the DASDBS & COSMOS projects....Pages 377-388
The rationale behind DBPL....Pages 389-395
