Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

These post-proceedings contain the revised versions of the accepted papers of the international workshop Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.

Database management --- Object-oriented databases --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Data structures (Computer science). --- Database management. --- Computer Science. --- Data Structures, Cryptology and Information Theory. --- Database Management. --- Information Systems Applications (incl. Internet). --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Data structures (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbrücken, Germany in September 2000. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are parallelism, distributed systems, approximation, combinatorial optimization, computational biology, computational geometry, external-memory algorithms, graph algorithms, network algorithms, online algorithms, data compression, symbolic computation, pattern matching, and randomized algorithms.

Computer algorithms --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer programming. --- Data structures (Computer science). --- Algorithms. --- Computer graphics. --- Application software. --- Computer Science. --- Programming Techniques. --- Data Structures, Cryptology and Information Theory. --- Computer Applications. --- Algorithm Analysis and Problem Complexity. --- Data Structures. --- Computer Graphics. --- Data structures (Computer scienc. --- Computer software. --- Data Structures and Information Theory. --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Software, Computer --- Computer systems --- Informatics --- Science --- Digital techniques --- Algorism --- Algebra --- Arithmetic --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Foundations --- Programming --- Computer algorithms - Congresses --- Data structures (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000). The conference took place on March 1-3, 2000, in Rome (Italy), at the conference center of the University of Rome La Sapienza". This conference was born in 1990 as a national meeting to be held every three years for Italian researchers in algorithms, data structures, complexity, and parallel and distributed computing. Due to a signi cant participation of foreign reaserchers, starting from the second conference, CIAC evolved into an international conference. In response to the call for papers for CIAC 2000, there were 41 subm- sions, from which the program committee selected 21 papers for presentation at the conference. Each paper was evaluated by at least three program committee members. In addition to the selected papers, the organizing committee invited Giorgio Ausiello, Narsingh Deo, Walter Ruzzo, and Shmuel Zaks to give plenary lectures at the conference. We wish to express our appreciation to all the authors of the submitted papers, to the program committee members and the referees, to the organizing committee, and to the plenary lecturers who accepted our invitation.

Algorithms --- Computational complexity --- Computer science. --- Computer programming. --- Data structures (Computer science). --- Computers. --- Algorithms. --- Computer science --- Computer Science. --- Programming Techniques. --- Data Structures, Cryptology and Information Theory. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Data Structures. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Data structures (Computer scienc. --- Computer software. --- Computational complexity. --- Data Structures and Information Theory. --- Complexity, Computational --- Electronic data processing --- Machine theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Algorism --- Algebra --- Arithmetic --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Foundations --- Programming --- Algorithms - Congresses --- Computational complexity - Congresses --- Data structures (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

MET Methods & Techniques --- C and C++ computer program languages --- computer science --- data structures ( computer science ) --- databases --- methods & techniques --- perl ( computer program language )

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The architectural concept of a memory hierarchy has been immensely successful, making possible today's spectacular pace of technology evolution in both the volume of data and the speed of data access. Its success is difficult to understand, however, when examined within the traditional "memoryless" framework of performance analysis. The `memoryless' framework cannot properly reflect a memory hierarchy's ability to take advantage of patterns of data use that are transient. The Fractal Structure of Data Reference: Applications to the Memory Hierarchy both introduces, and justifies empirically, an alternative modeling framework in which arrivals are driven by a statistically self-similar underlying process, and are transient in nature. The substance of this book comes from the ability of the model to impose a mathematically tractable structure on important problems involving the operation and performance of a memory hierarchy. It describes events as they play out at a wide range of time scales, from the operation of file buffers and storage control cache, to a statistical view of entire disk storage applications. Striking insights are obtained about how memory hierarchies work, and how to exploit them to best advantage. The emphasis is on the practical application of such results. The Fractal Structure of Data Reference: Applications to the Memory Hierarchy will be of interest to professionals working in the area of applied computer performance and capacity planning, particularly those with a focus on disk storage. The book is also an excellent reference for those interested in database and data structure research.

Database management. --- Data structures (Computer science) --- Memory hierarchy (Computer science) --- Data structures (Computer scienc. --- Memory management (Computer scie. --- Information storage and retrieva. --- Data Structures. --- Memory Structures. --- Data Structures and Information Theory. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Information storage and retrieval systems. --- Data structures (Computer science). --- Computer memory systems. --- Application software. --- Information storage and retrieval. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer memory systems --- Computers --- Electronic digital computers --- Storage devices, Computer --- Computer input-output equipment --- Memory management (Computer science) --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Memory systems --- Storage devices