Choose an application

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

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.

681.3*H2 --- Database management: security; integrity; protection--See also {?681.5*E5} --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Data structures (Computer scienc. --- Artificial intelligence. --- Computer science. --- Database management. --- Combinatorics. --- Data Structures and Information Theory. --- Artificial Intelligence. --- Programming Techniques. --- Models and Principles. --- Database Management. --- 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 --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

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

This book constitutes the refereed proceedings of the 8th East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on constraint databases, deductive databases, heterogenous and Web information systems, cross enterprise information systems, knowledge discovery, database modeling, XML and semistructured databases, physical database design and query evaluation, transaction management and workflow systems, query processing and data streams, spatial databases, and agents and mobile systems.

Database management --- Information technology --- Engineering & Applied Sciences --- Computer Science --- Computer science. --- Data structures (Computer science). --- Database management. --- Information storage and retrieval. --- Multimedia information systems. --- User interfaces (Computer systems). --- Computer Science. --- Data Structures, Cryptology and Information Theory. --- Database Management. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Multimedia Information Systems. --- User Interfaces and Human Computer Interaction. --- Data structures (Computer scienc. --- Information storage and retrieva. --- Multimedia systems. --- Data Structures and Information Theory. --- Informatics --- Science --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- 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 --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- 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)

Choose an application

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

This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; - Logics and Meanings of Programs: Algebraic and Categorical Approaches to Semantics, Computational Logic, Logic Programming, Verification, Program Transformations, Functional Programming; - Formal Languages: Rewriting Systems, Algebraic Language Theory; - Computational Complexity: Analysis and Complexity of Algorithms, Design of Efficient Algorithms, Algorithms and Data Structures, Computational Geometry, Complexity Classes and Hierarchies, Lower Bounds.

Computer science --- 681.3*D24 --- 681.3*E5 --- 681.3*F12 --- 681.3*I2 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Files: backup/recovery; optimization; organization/structure; sorting/searching (Data) --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Artificial intelligence. AI --- 681.3*E5 Files: backup/recovery; optimization; organization/structure; sorting/searching (Data) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*I2 Artificial intelligence. AI --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Computer science. --- Computer software. --- Logic design. --- Microprogramming. --- Combinatorics. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Control Structures and Microprogramming. --- Combinatorics --- Algebra --- Mathematical analysis --- Computer programming --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Informatique