Dockerize MiniDB for easy deployment and review

Author: colloceo

.dockerignore

@@ -0,0 +1,14 @@
+__pycache__/
+*.py[cod]
+*$py.class
+.venv/
+env/
+venv/
+ENV/
+.git/
+.gitignore
+data/
+*.lock
+*.tmp
+*.log
+tests_final.txt

Dockerfile

@@ -0,0 +1,30 @@
+# Use a lightweight Python base image
+FROM python:3.10-slim
+
+# Set the working directory in the container
+WORKDIR /app
+
+# Install system dependencies if needed (none strictly required for MiniDB right now)
+# RUN apt-get update && apt-get install -y --no-install-recommends gcc && rm -rf /var/lib/apt/lists/*
+
+# Copy requirements first to leverage Docker cache
+COPY requirements.txt .
+
+# Install Python dependencies
+RUN pip install --no-cache-dir -r requirements.txt
+
+# Copy the rest of the application code
+COPY . .
+
+# Create the data directory
+RUN mkdir -p data
+
+# Expose the port Flask runs on
+EXPOSE 5000
+
+# Set environment variables
+ENV FLASK_APP=app.py
+ENV FLASK_RUN_HOST=0.0.0.0
+
+# Command to run the application
+CMD ["python", "app.py"]

README.md

@@ -94,6 +94,14 @@ To support multiple users/processes, MiniDB implements a global `LockManager`:
    python main.py
    ```
 
+### 🐳 Run with Docker
+If you have Docker installed, you can spin up the entire system with a single command:
+```bash
+docker-compose up --build
+```
+- **Web UI**: Access at `http://localhost:5000`
+- **Persistence**: Database files are automatically mapped to the `./data` folder on your host machine.
+
 ## ⚠️ Known Limitations (Prototype Scope)
 - **SQL Breadth**: Supports a subset of SQL syntax. Complex multi-level aggregate functions (SUM, AVG) are not yet implemented.
 - **Memory Residency**: While storage is streaming, the primary key index is kept in-memory for $O(1)$ speed. Extremely large keyspace may require a B-Tree file-baked index.

docker-compose.yml

@@ -0,0 +1,11 @@
+version: '3.8'
+
+services:
+  minidb:
+    build: .
+    container_name: minidb_app
+    ports:
+      - "5000:5000"
+    volumes:
+      - ./data:/app/data
+    restart: unless-stopped