The following pages link to Victor Vianu (Q269322):
Displaying 49 items.
- Highly expressive query languages for unordered data trees (Q269323) (← links)
- Computing with infinitary logic (Q672337) (← links)
- Procedural languages for database queries and updates (Q751799) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Parallel update transactions (Q915439) (← links)
- Database survivability under dynamic constraints (Q1087339) (← links)
- Datalog extensions for database queries and updates (Q1176285) (← links)
- Conceptual level concurrency control of relational update transactions (Q1186426) (← links)
- (Q1271556) (redirect page) (← links)
- Reflective relational machines (Q1271557) (← links)
- Semantics and expressiveness issues in active databases (Q1278040) (← links)
- Topological queries in spatial databases (Q1305920) (← links)
- Regular path queries with constraints (Q1307690) (← links)
- Static and dynamic aspects of goal-oriented concurrency control (Q1353964) (← links)
- Non-determinism in logic-based languages (Q1360676) (← links)
- Rule-based languages (Q1370633) (← links)
- A probabilistic view of Datalog parallelization (Q1389447) (← links)
- Typechecking for XML transformers (Q1394797) (← links)
- XML with data values: Typechecking revisited. (Q1401966) (← links)
- Queries and computation on the web (Q1575133) (← links)
- Relational transducers for electronic commerce (Q1591155) (← links)
- Querying spatial databases via topological invariants (Q1591156) (← links)
- Computing with first-order logic (Q1892224) (← links)
- Tractable query languages for complex object databases (Q1900921) (← links)
- Process-centric views of data-driven business artifacts (Q2396822) (← links)
- On the unusual effectiveness of logic in computer science (Q2736585) (← links)
- (Q3204028) (← links)
- A transaction-based approach to relational database specification (Q3476304) (← links)
- Equivalence and optimization of relational transactions (Q3777502) (← links)
- (Q3793772) (← links)
- (Q3865480) (← links)
- (Q3886909) (← links)
- (Q3886910) (← links)
- (Q4035348) (← links)
- (Q4151379) (← links)
- (Q4353560) (← links)
- Fixpoint logics, relational machines, and computational complexity (Q4371697) (← links)
- (Q4414525) (← links)
- (Q4418631) (← links)
- (Q4508943) (← links)
- Computing on structures (Q4630296) (← links)
- (Q4694686) (← links)
- (Q4779173) (← links)
- (Q4864249) (← links)
- Typechecking XML views of relational databases (Q5267433) (← links)
- (Q5276189) (← links)
- Finite state machines for strings over infinite alphabets (Q5277703) (← links)
- Database Theory - ICDT 2005 (Q5316600) (← links)
- Process-Centric Views of Data-Driven Business Artifacts (Q5738938) (← links)
