824 results on '"Libkin, Leonid"'
Search Results
552. Logic and Random Structures
553. Local Variations on a Loose Theme: Modal Logic and Decidability
554. A Logical Approach to Constraint Satisfaction
555. Unifying Themes in Finite Model Theory
556. Finite Model Theory and Descriptive Complexity
557. On the Expressive Power of Logics on Finite Models
558. Efficient Computation of Frequent and Top-k Elements in Data Streams
559. Optimal Workload-Based Weighted Wavelet Synopses
560. Rewriting Queries Using Views with Access Patterns Under Integrity Constraints
561. View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness
562. PTIME Queries Revisited
563. Selecting and Using Views to Compute Aggregate Queries : (Extended Abstract)
564. Magic Sets and Their Application to Data Integration
565. On Horn Axiomatizations for Sequential Data
566. First-Order Query Rewriting for Inconsistent Databases
567. Approximately Dominating Representatives
568. Algorithms for the Database Layout Problem
569. Authorization Views and Conditional Query Containment
570. Anonymizing Tables
571. Privacy in Database Publishing
572. Asymptotic Conditional Probabilities for Conjunctive Queries
573. Conjunctive Query Evaluation by Search Tree Revisited
574. Optimal Distributed Declustering Using Replication
575. When Is Nearest Neighbors Indexable?
576. First Order Paths in Ordered Trees
577. Model Checking for Database Theoreticians
578. Nonmaterialized Motion Information in Transport Networks
579. An Abstract Framework for Generating Maximal Answers to Queries
580. Semantics of Data Streams and Operators
581. The Design Space of Type Checkers for XML Transformation Languages
582. Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery : Extended Abstract
583. The Pipelined Set Cover Problem
584. Which XML Schemas Admit 1-Pass Preorder Typing?
585. Euclidean Query Languages
586. The DEDALE Prototype
587. SQL/TP: A Temporal Extension of SQL
588. The DISCO System
589. Constraint Algebras
590. I/O-Efficient Algorithms for CDBs
591. Optimization Techniques
592. Linear-Constraint Databases
593. Genericity in Spatial Databases
594. Linear Repeating Points
595. Datalog and Constraints
596. Expressive Power: The Infinite Case
597. Geographic Information Systems
598. Topological Queries
599. Constraint Databases, Queries, and Query Languages
600. Redundancy elimination and a new normal form for relational database design
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.