erDiagram

Car {
INTEGER id PK "NOT NULL"
INTEGER carCategoryId FK "NOT NULL"
Varchar(30) carNumber "NOT NULL"
Varchar(30) manufacturer "NOT NULL"
Varchar(30) model
Varchar(30) type "NOT NULL"
INTEGER manufacturingYear "NOT NULL"
INTEGER mileage "NOT NULL"
INTEGER price "NOT NULL"
INTEGER accidentCount "NOT NULL"
Varchar(200) explanation NULL
Varchar(200) accidentDetails NULL
Varchar(30) status "NOT NULL"
}

CarCategory {
INTEGER id PK "NOT NULL"
Varchar(30) type "NOT NULL"
INTEGER contractCount "NOT NULL"
INTEGER revenue "NOT NULL"
}

User {
INTEGER id PK "NOT NULL"
Varchar(30) name "NOT NULL"
Varchar(30) email "NOT NULL"
Varchar(30) employeeNumber "NOT NULL"
Varchar(30) phoneNumber "NOT NULL"
Varchar(30) password "NOT NULL"
Boolean isAdmin "DEFAULT false"
Varchar(30) companyCode FK "NOT NULL"
}

Company {
  Varchar(30) companyCode PK "NOT NULL"
  Varchar(30) name "NOT NULL"
}

Contract { 
INTEGER id PK "NOT NULL"
INTEGER customerId FK "NOT NULL"
INTEGER userId FK "NOT NULL"
INTEGER carId FK "NOT NULL"
INTEGER contractPrice "NOT NULL"
DateTime resolutionDate "NOT NULL"
Varchar(30) status "NOT NULL"
}

ContractDocument {
INTEGER id PK "NOT NULL"
INTEGER contractId FK "NOT NULL"
Varchar(30) fileName "NOT NULL"
Varchar(300) filePath "NOT NULL"
INTEGER fileSize "NOT NULL"
}

Customer {
INTEGER id PK "NOT NULL"
Varchar(30) name "NOT NULL"
Varchar(10) gender "NOT NULL"
Varchar(30) phoneNumber "NOT NULL"
INTEGER ageGroup "NOT NULL"
Varchar(30) region "NOT NULL"
Varchar(30) email "NOT NULL"
Varchar(200) memo
INTEGER contractCount "NOT NULL"
}

Meeting {
INTEGER id PK "NOT NULL"
INTEGER contractId FK "NOT NULL"
DateTime time "NOT NULL"
}

Alarm {
  INTEGER id PK "NOT NULL"
  INTEGER meetingId FK "NOT NULL"
  DateTime time "NOT NULL"
}

Car ||--o| Contract :"is contracted in"
CarCategory ||--o{ Car :"includes"
User ||--o{ Contract:"processes"
Contract ||--o{ ContractDocument:"has"
Customer ||--o{ Contract:"signs"
Contract ||--o{ Meeting:"schedules"
Meeting ||--o{ Alarm:"triggers"
Company ||--o{ User:"employs"