6693. Security & Access: audit-log integrity — Prove correctness with targeted queries and assertions. — messaging — Python + FastAPI + SQLAlchemy

DBMS Published 30 Sept 2026 Updated 30 Sept 2026 0 Views Verified

Scenario: A messaging application must handle audit-log integrity. Prove correctness with targeted queries and assertions. Explain the invariant, SQL strategy, transaction/locking behavior, failure handling, observability and test plan. Use MySQL 8-oriented syntax where applicable.

Looking for the latest Sarkari Result 2026 updates? Check the latest government exam results, merit lists and result updates on Sarkari Resultess.

Answer & Explanation

4 Answers

Verified

Option 1: Use unparameterized dynamic SQL and rely only on application-side validation for

Use unparameterized dynamic SQL and rely only on application-side validation for audit-log integrity.

Additional Explanation

Correctness depends on explicit invariants, safe SQL, transaction/concurrency handling and verification.

Verified

Option 2: Disable database protections and repair inconsistent rows manually after audit-l

Disable database protections and repair inconsistent rows manually after audit-log integrity runs.

Additional Explanation

Correctness depends on explicit invariants, safe SQL, transaction/concurrency handling and verification.

Verified

Option 3: Run audit-log integrity without defining transaction boundaries, retry behavior,

Run audit-log integrity without defining transaction boundaries, retry behavior, or production validation.

Additional Explanation

Correctness depends on explicit invariants, safe SQL, transaction/concurrency handling and verification.

Verified Correct Answer

Option 4: Use a parameterized, transaction-aware MySQL 8 implementation for audit-log inte

Use a parameterized, transaction-aware MySQL 8 implementation for audit-log integrity, validate the invariant, and explicitly test concurrency, retries and recovery.

Additional Explanation

Correctness depends on explicit invariants, safe SQL, transaction/concurrency handling and verification.