مشخصات کتاب

ICDT '90: Third International Conference on Database Theory Paris, France, December 12–14, 1990 Proceedings

ویرایش: [1 ed.] 
نویسندگان: Ronald Fagin (auth.),  Serge Abiteboul,  Paris C. Kanellakis (eds.)  
سری: Lecture Notes in Computer Science 470 
ISBN (شابک) : 3540535071, 9783540535072 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1990 
تعداد صفحات: 530
[531] 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 Mb 

در صورت تبدیل فایل کتاب ICDT '90: Third International Conference on Database Theory Paris, France, December 12–14, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ICDT '90: سومین کنفرانس بین المللی نظریه پایگاه داده پاریس، فرانسه، 12 تا 14 دسامبر 1990 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ICDT '90: سومین کنفرانس بین المللی نظریه پایگاه داده پاریس، فرانسه، 12 تا 14 دسامبر 1990 مجموعه مقالات

ظهور پارادایم‌های جدید برای مدیریت داده‌ها چالش‌های هیجان‌انگیزی را ایجاد می‌کند. یکی از اهداف مهم تئوری پایگاه داده پاسخ به این چالش ها از طریق ایجاد مبانی صحیح برای توسعه این رشته است. این جلد شامل مقالات انتخاب شده برای سومین کنفرانس بین المللی نظریه پایگاه داده، ICDT\\\'90 است. کنفرانس های این مجموعه هر دو سال یک بار در شهرهای زیبای اروپا، رم در سال 1986 و بروژ در سال 1988 با مجموعه مقالاتی که در جلدهای 234 و 326 در همین مجموعه منتشر شده است، برگزار می شود. ICDT\\\'90 در پاریس توسط مؤسسه ملی تحقیقات و اطلاعات و اتوماتیك سازماندهی شد. این کنفرانس دارای 2 سخنرانی دعوت شده و 31 مقاله است که از بین 129 مقاله ارسالی انتخاب شده اند. این مقالات ایده‌های اصلی و نتایج جدید را در مورد پایه‌های پایگاه‌های اطلاعاتی، پایگاه‌های دانش، پایگاه‌های داده شی‌گرا، نظریه رابطه، مدیریت تراکنش، ساختارهای داده و پایگاه‌های داده قیاسی توصیف می‌کنند. این جلد نمای کلی خوبی از وضعیت هنر و روندهای فعلی در نظریه پایگاه داده ارائه می دهد. باید منبع اطلاعاتی ارزشمندی برای محققان علاقه مند به این رشته باشد.

توضیحاتی درمورد کتاب به خارجی

The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT\'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT\'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.

فهرست مطالب

Finite-model theory—a personal perspective....Pages 1-24
Playing games with objects....Pages 25-38
Representing object identity in a pure functional language....Pages 39-55
A class abstraction for a hierarchical type system....Pages 56-71
Algebraic optimization of object-oriented query languages....Pages 72-88
A relational object model....Pages 89-105
Maintaining bounded disorder files in multiprocessor multi-disk environments....Pages 107-125
An evaluation model for clustering strategies in the O 2 object-oriented database system....Pages 126-140
Efficient algorithms for managing the history of evolving databases....Pages 141-174
Logic and Databases: An assessment....Pages 175-186
A closed form for datalog queries with integer order....Pages 187-201
On the expressive power of the relational calculus with arithmetic constraints....Pages 202-211
Conjectures and refutations in database design and dependency theory....Pages 213-228
A theory of specialization constraints for complex objects....Pages 229-244
Removing redundancy and updating databases....Pages 245-256
Improving the concurrency of integrity checks and write operations....Pages 257-273
A flexible and adaptable tool kit approach for concurrency control in non standard database systems....Pages 274-288
A comparative analysis of two-phase-commit protocols....Pages 289-304
Efficient voting protocols with witnesses....Pages 305-317
Voting and relocation strategies preserving consistency among replicated files....Pages 318-332
Well!: An evaluation procedure for all logic programs....Pages 333-348
Beginnings of a theory of general database completions....Pages 349-363
Recursively indefinite databases....Pages 364-378
Low complexity aggregation in graphlog and Datalog....Pages 379-394
Deciding boundedness for uniformly connected Datalog programs....Pages 395-405
The Revised Gärdenfors postulates and update semantics....Pages 407-421
Foundations of canonical update support for closed database views....Pages 422-436
Drawing updates from derivations....Pages 437-451
Optimization of a subclass of conjunctive queries....Pages 453-469
Complex transitive closure queries on a fragmented graph....Pages 470-484
Multiple SIP strategies and bottom-up adorning in logic query optimization....Pages 485-498
On estimating the size of projections....Pages 499-513
Static estimation of query sizes in horn programs....Pages 514-528

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Fiscal Management (Public Sector, Governance, and Accountability) (Public Sector, Governance, and Accountability Series)

دانلود کتاب businessThink: Rules for Getting It Right. Now, and No Matter What!

دانلود کتاب Ética, poder y derecho: reflexiones ante el fin de siglo

دانلود کتاب Divas and Scholars: Performing Italian Opera

دانلود کتاب Simulation algorithms for computational systems biology