Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Databases and Information Systems [[electronic resource] ] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics
| Advances in Databases and Information Systems [[electronic resource] ] : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 426 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems User interfaces (Computer systems) Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| ISBN | 3-540-30204-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Databases -- Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints -- Deductive Databases -- Update Propagation in Deductive Databases Using Soft Stratification -- Heterogenous and Web Information Systems -- Query Rewriting Using Views in a Typed Mediator Environment -- Reasoning About Web Information Systems Using Story Algebras -- Cross Enterprise Information Systems -- Component Framework for Strategic Supply Network Development -- Knowledge Discovery -- An Abstract Algebra for Knowledge Discovery in Databases -- Database Modelling -- Beyond Databases: An Asset Language for Conceptual Content Management -- Component-Based Modeling of Huge Databases -- Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis -- Template Based, Designer Driven Design Pattern Instantiation Support -- XML and Semistructured Databases -- A High-Level Language for Specifying XML Data Transformations -- Implementing a Query Language for Context-Dependent Semistructured Data -- Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences -- Physical Database Design and Query Evaluation -- Catalogues from a New Perspective: A Data Structure for Physical Organisation -- Database Caching – Towards a Cost Model for Populating Cache Groups -- Towards Quadtree-Based Moving Objects Databases -- A Content-Based Music Retrieval System Using Multidimensional Index of Time-Sequenced Representative Melodies from Music Database -- Solving Stochastic Optimization in Distributed Databases Using Genetic Algorithms -- Transaction Management and Workflow Systems -- ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol -- Making More Out of an Inconsistent Database -- Process Query Language: A Way to Make Workflow Processes More Flexible -- Triggering Replanning in an Integrated Workflow Planning and Enactment System -- Query Processing and Data Streams -- Grouped Processing of Relational Algebra Expressions over Data Streams -- Processing Sliding Window Join Aggregate in Continuous Queries over Data Streams -- Spatial Databases -- How to Integrate Heterogeneous Spatial Databases in a Consistent Way? -- Vague Spatial Data Types, Set Operations, and Predicates -- Agents and Mobile Systems -- Intelligent Multi-agent Based Database Hybrid Intrusion Prevention System -- Energy Efficient Transaction Processing in Mobile Broadcast Environments. |
| Record Nr. | UNISA-996465425703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Databases and Information Systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics
| Advances in Databases and Information Systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings / / edited by Georg Gottlob, Andras Benczur, Janos Demetrovics |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 426 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems User interfaces (Computer systems) Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| ISBN | 3-540-30204-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Databases -- Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints -- Deductive Databases -- Update Propagation in Deductive Databases Using Soft Stratification -- Heterogenous and Web Information Systems -- Query Rewriting Using Views in a Typed Mediator Environment -- Reasoning About Web Information Systems Using Story Algebras -- Cross Enterprise Information Systems -- Component Framework for Strategic Supply Network Development -- Knowledge Discovery -- An Abstract Algebra for Knowledge Discovery in Databases -- Database Modelling -- Beyond Databases: An Asset Language for Conceptual Content Management -- Component-Based Modeling of Huge Databases -- Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis -- Template Based, Designer Driven Design Pattern Instantiation Support -- XML and Semistructured Databases -- A High-Level Language for Specifying XML Data Transformations -- Implementing a Query Language for Context-Dependent Semistructured Data -- Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences -- Physical Database Design and Query Evaluation -- Catalogues from a New Perspective: A Data Structure for Physical Organisation -- Database Caching – Towards a Cost Model for Populating Cache Groups -- Towards Quadtree-Based Moving Objects Databases -- A Content-Based Music Retrieval System Using Multidimensional Index of Time-Sequenced Representative Melodies from Music Database -- Solving Stochastic Optimization in Distributed Databases Using Genetic Algorithms -- Transaction Management and Workflow Systems -- ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol -- Making More Out of an Inconsistent Database -- Process Query Language: A Way to Make Workflow Processes More Flexible -- Triggering Replanning in an Integrated Workflow Planning and Enactment System -- Query Processing and Data Streams -- Grouped Processing of Relational Algebra Expressions over Data Streams -- Processing Sliding Window Join Aggregate in Continuous Queries over Data Streams -- Spatial Databases -- How to Integrate Heterogeneous Spatial Databases in a Consistent Way? -- Vague Spatial Data Types, Set Operations, and Predicates -- Agents and Mobile Systems -- Intelligent Multi-agent Based Database Hybrid Intrusion Prevention System -- Energy Efficient Transaction Processing in Mobile Broadcast Environments. |
| Record Nr. | UNINA-9910144349903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of Computation Theory [[electronic resource] ] : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings / / edited by Janos Csirik, Ferenc Gecseg, Janos Demetrovics
| Fundamentals of Computation Theory [[electronic resource] ] : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings / / edited by Janos Csirik, Ferenc Gecseg, Janos Demetrovics |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (XIV, 498 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Computer logic Mathematical logic 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 |
| ISBN | 3-540-48180-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On word equations and Makanin's algorithm -- Complexity classes with complete problems between P and NP-C -- Interpretations of synchronous flowchart schemes -- Generalized Boolean hierarchies and Boolean hierarchies over RP -- The equational logic of iterative processes -- The distributed bit complexity of the ring: From the anonymous to the non-anonymous case -- The jump number problem for biconvex graphs and rectangle covers of rectangular regions -- Recent developments in the design of asynchronous circuits -- New simulations between CRCW PRAMs -- About connections between syntactical and computational complexity -- Completeness in approximation classes -- Separating completely complexity classes related to polynomial size ?-Decision trees -- On product hierarchies of automata -- On the communication complexity of planarity -- Context-free NCE graph grammars -- Dynamic data structures with finite population: A combinatorial analysis -- Iterated deterministic top-down look-ahead -- Using generating functions to compute concurrency -- A logic for nondeterministic functional programs extended abstract -- Decision problems and Coxeter groups -- Complexity of formula classes in first order logic with functions -- Normal and sinkless Petri nets -- Descriptive and computational complexity -- The effect of null-chains on the complexity of contact schemes -- Monte-Carlo inference and its relations to reliable frequency identification -- Semilinear real-time systolic trellis automata -- Inducibility of the composition of frontier-to-root tree transformations -- On oblivious branching programs of linear length -- Some time-space bounds for one-tape deterministic turing machines -- Rank of rational finitely generated W-languages -- Extensional properties of sets of time bounded complexity (extended abstract) -- Learning under uniform distribution -- An extended framework for default reasoning -- Logic programming of some mathematical paradoxes -- Analysis of compact 0-complete trees: A new access method to large databases -- Representation of recursively enumerable languages using alternating finite tree recognizers -- About a family of binary morphisms which stationary words are Sturmian -- On the finite degree of ambiguity of finite tree automata -- Approximation algorithms for channel assignment in cellular radio networks -- The Borel hierarchy is infinite in the class of regular sets of trees -- Parallel general prefix computations with geometric, algebraic and other applications -- Kolmogorov complexity and Hausdorff dimension -- Tree language problems in pattern recognition theory -- The computational complexity of cellular automata -- On restricted Boolean circuits -- The complexity of connectivity problems on context-free graph languages -- Constructivity, computability, and computational complexity in analysis. |
| Record Nr. | UNISA-996465726903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
MFDBS 87 [[electronic resource] ] : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings / / edited by Joachim Biskup, Janos Demetrovics, Jan Paredaens, Bernhard Thalheim
| MFDBS 87 [[electronic resource] ] : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings / / edited by Joachim Biskup, Janos Demetrovics, Jan Paredaens, Bernhard Thalheim |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VIII, 252 p.) |
| Disciplina | 005.74/01/51 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Data structures (Computer science) Theory of Computation Data Structures and Information Theory Models and Principles |
| ISBN | 3-540-39124-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information measurement in relational databases -- On hierarchical normal forms -- Data manipulation languages for the universal relation view DURST -- The equivalence problem for relational database schemes -- On global context dependencies and their properties -- Functional dependency implications, inducing horizontal decompositions -- Extremal combinatorial problems of database models -- A formal model for distributed information systems -- A theory of reference graphs in relational databases -- Modal logic and incomplete information -- Designing alpha-acyclic BCNF-database schemes -- Design tools for large relational database systems -- Searching and retrieval in databases by trees -- Database models, where they are going now? -- Open problems in database theory. |
| Record Nr. | UNISA-996465815303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
MFDBS 89 [[electronic resource] ] : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings / / edited by Janos Demetrovics, Bernhard Thalheim
| MFDBS 89 [[electronic resource] ] : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings / / edited by Janos Demetrovics, Bernhard Thalheim |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 432 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Application software Computers Database management Combinatorics Mathematical logic Data Structures and Information Theory Computer Applications Models and Principles Database Management Mathematical Logic and Formal Languages |
| ISBN | 3-540-46182-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Selective refutation of integrity constraints in deductive databases -- Approaches to updates over weak instances -- Index selection in relational databases -- Towards a schema design methodology for deductive databases -- Shared abstract data types: An algebraic methodology for their specification -- Specifying closed world assumptions for logic databases -- Interaction of authorities and acquaintances in the DORIS privacy model of data -- Logical rewritings for improving the evaluation of quantified queries -- Mathematical foundations of semantic networks theory -- Functional dependencies and the semilattice of closed classes -- An extended view on data base conceptual design -- Modeling planning problems -- On the interaction between transitive closure and functional dependencies -- A strategy for executing complex queries -- Multiple task selection protocol in a distributed problem solving network -- Equivalent schemes in semantic, nested relational, and relational database models -- Covers for functional independencies -- Restructuring and dependencies in databases -- RTL a Relation and Table Language for statistical databases -- Integration of functions in the fixpoint semantics of rule-based systems -- Locking policies and predeclared transactions -- Means for management of relational fuzzy data bases — Way to merging of systems of data bases and knowledge bases -- A specification language for static, dynamic and deontic integrity constraints -- Blocks and projections' synthesis in relational databases -- The higher-order entity-relationship model and (DB) -- Goal-oriented concurrency control -- Transitive closure and the LOGA+-strategy for its efficient evaluation. |
| Record Nr. | UNISA-996465336103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
MFDBS 91 [[electronic resource] ] : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 / / edited by Bernhard Thalheim, Janos Demetrovics, Hans-Detlef Gerhardt
| MFDBS 91 [[electronic resource] ] : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 / / edited by Bernhard Thalheim, Janos Demetrovics, Hans-Detlef Gerhardt |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 395 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Artificial intelligence Computer programming Computers Database management Combinatorics Data Structures and Information Theory Artificial Intelligence Programming Techniques Models and Principles Database Management |
| ISBN | 3-540-47348-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complex object multi-level fixpoint queries -- Classifying object-oriented query results in a class/type lattice -- A relational algebra for complex objects based on partial information -- Specifying operations for nested relations by rules and partial orders -- On the relationship between well-founded and stable partial models -- Monadic databases with equality -- Actor-oriented specification of deontic integrity constraints -- Solving ambiguities in updating deductive databases -- On the mean execution time of recursive definitions on relational databases -- Updating hierarchical databases by complex forms -- A direct algorithm for computing the transitive closure of a two-dimensionally structured file -- Multi-granularity locking for nested transaction systems -- The Nested Interpolation Based Grid File -- Complexity of recursive production rules execution -- On the monotonicity of (LDL) logic programs with set -- Semantic improvement of deductive databases -- On the representation of dependencies by propositional logic -- Pairwise-definable subdirect decompositions of general database schemata -- Functional dependencies in hierarchical structures of data -- Objects in relational database schemes with functional, inclusion and exclusion dependencies -- Abstract data type semantics for many-sorted object query algebras -- Temporal specifications of object behavior -- Consistency and non-determinism in a database programming language -- A fact-oriented approach to schema transformation -- A database needs two kinds of negation -- Rationale of the O2 system -- The background of the DASDBS & COSMOS projects -- The rationale behind DBPL. |
| Record Nr. | UNISA-996465429503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||