Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Data Intensive Applications and Systems: HTAP Overview

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (34)

Distributed Transactions: Principles and Protocols Log in to Mediaspace to watch this video

Explores distributed transactions, covering principles, protocols, concurrency control, commit, and replication.

The Power of Registers Log in to Mediaspace to watch this video

Covers wait-free implementations of atomic objects, focusing on counters and snapshots, discussing key ideas for enforcing atomicity and wait-freedom.

Optimistic Concurrency Control: Timestamp Ordering & Validation Log in to Mediaspace to watch this video

Explores Optimistic Concurrency Control, tests for conflicts, critical sections, overheads, Multiversion Concurrency Control, Snapshot Isolation, and transaction performance enhancements.

Transactional Memory: Hardware Simplification Log in to Mediaspace to watch this video

Explores hardware-based transactional memory for simplifying concurrency control and improving performance in hash tables.

Real-time Update of Column Store on Disk Log in to Mediaspace to watch this video

Explores challenges and solutions for real-time updates on large column stores on disk, focusing on snapshot isolation and query performance.

Distributed Transactions: Architectures and Protocols Log in to Mediaspace to watch this video

Explores parallel database architectures and distributed transaction protocols, focusing on coordination, concurrency control, and recovery challenges.

Transactions & Concurrency Control: Pessimistic CC Log in to Mediaspace to watch this video

Explores transactions, concurrency control, deadlock handling, and challenges in dynamic databases.

Transactions Log in to Mediaspace to watch this video

Explores the elegance and challenges of transactions in structuring stateful systems, emphasizing ACID properties and the trade-offs of transactional memory.

Introduction to Database Systems Log in to Mediaspace to watch this video

Covers the basics of database systems, including data modeling, DBMS, data independence, and the course overview.

Theoretical Foundations for Emerging Multiprocessor Technologies: RDMA and NVRAM Log in to Mediaspace to watch this video

Explores theoretical foundations for RDMA and NVRAM in multiprocessor technologies, covering contention, concurrency control, and fault tolerance.

Untitled Log in to Mediaspace to watch this video

Optimistic Concurrency Control: Timestamp Ordering Log in to Mediaspace to watch this video

Explores optimistic concurrency control through timestamp ordering and continuous validation tests.

Separation is all you need: Foundations for Modular Verification Log in to Mediaspace to watch this video

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

Reliable Storage: Regular Register Algorithm Log in to Mediaspace to watch this video

Covers the specification of a register, sequential and concurrent execution, and correctness properties.

Page 2 of 2