Rule syntax and structure in Firebase - Time & Space Complexity

Time Complexity: Rule syntax and structure

O(n)

Understanding Time Complexity

When working with Firebase security rules, it's important to know how the time to check these rules changes as your data grows.

We want to understand how the rule checking time grows when more data or conditions are involved.

Scenario Under Consideration

Analyze the time complexity of this Firebase rule checking sequence.

service cloud.firestore {
  match /databases/{database}/documents {
    match /users/{userId} {
      allow read: if request.auth.uid == userId;
    }
  }
}
    

This rule allows a user to read only their own user document by checking the user ID.

Identify Repeating Operations

Look at what happens each time a read request is made.

• Primary operation: Checking if the authenticated user ID matches the document ID.
• How many times: Once per read request on a user document.

How Execution Grows With Input

Each read request checks only one document's ID against the user ID.

Input Size (n)	Approx. API Calls/Operations
10	10 checks (one per document read)
100	100 checks
1000	1000 checks

Pattern observation: The number of checks grows directly with the number of read requests.

Final Time Complexity

Time Complexity: O(n)

This means the time to check rules grows linearly with the number of read requests.

Common Mistake

[X] Wrong: "The rule check happens once for all documents at once, so time stays the same no matter how many reads happen."

[OK] Correct: Each read request triggers a separate rule check for that document, so time grows with the number of reads.

Interview Connect

Understanding how rule checks scale helps you design secure and efficient Firebase apps, a skill valued in real projects.

Self-Check

"What if the rule included a query that checked multiple documents? How would the time complexity change?"

Practice

1. What is the main purpose of a match block in Firebase security rules?

easy

A. To create new collections automatically

B. To define user roles and permissions

C. To write data to the database

D. To specify which data paths the rules apply to

Solution

1. Step 1: Understand the role of match blocks

   The match block is used to specify the path in the database where the rules apply.

2. Step 2: Differentiate from other rule parts

   Other parts like allow control access, but match targets the data location.

3. Final Answer:

   To specify which data paths the rules apply to -> Option D

4. Quick Check:

   match = data path selector [OK]

Hint: Remember: match points to data location [OK]

Common Mistakes:

• Confusing match with allow
• Thinking match defines user roles
• Assuming match writes data

2. Which of the following is the correct syntax to allow read access to all users in a Firebase rule?

easy

A. allow read { true }

B. allow read: if true;

C. allow read = true;

D. allow read if (true)

Solution

1. Step 1: Recall correct allow syntax

   The correct syntax uses a colon and condition: allow read: if true;

2. Step 2: Check other options for syntax errors

   Options A, B, and D use incorrect symbols or missing keywords.

3. Final Answer:

   allow read: if true; -> Option B

4. Quick Check:

   Correct allow syntax uses colon and if [OK]

Hint: Use colon and 'if' for conditions in allow [OK]

Common Mistakes:

• Using '=' instead of ':'
• Omitting 'if' keyword
• Using braces instead of semicolon

3. Given the rule snippet:

match /posts/{postId} {
  allow read: if request.auth != null;
  allow write: if request.auth.uid == resource.data.authorId;
}

What happens if a logged-in user tries to write to a post they did NOT create?

medium

A. Write is denied because user is not the author

B. Write is allowed because user is logged in

C. Write is allowed only if postId matches user ID

D. Write is denied because read access is restricted

Solution

1. Step 1: Analyze write condition

   Write is allowed only if request.auth.uid == resource.data.authorId, meaning user must be the author.

2. Step 2: Apply condition to user not author

   If user is logged in but not the author, condition fails, so write is denied.

3. Final Answer:

   Write is denied because user is not the author -> Option A

4. Quick Check:

   Write allowed only for author = A [OK]

Hint: Check if user ID matches author ID for write [OK]

Common Mistakes:

• Assuming any logged-in user can write
• Confusing read and write conditions
• Ignoring resource data in condition

4. Identify the error in this Firebase rule snippet:

match /users/{userId} {
  allow read if request.auth.uid == userId;
  allow write: if request.auth.uid == userId;
}

medium

A. Missing colon after 'allow read'

B. Incorrect variable name 'userId'

C. Missing semicolon after 'allow write' condition

D. Using '==' instead of '=' in conditions

Solution

1. Step 1: Check syntax for 'allow' statements

   Each allow must have a colon before the condition, e.g., allow read: if ...;

2. Step 2: Identify missing colon

   The first line misses colon after allow read, causing syntax error.

3. Final Answer:

   Missing colon after 'allow read' -> Option A

4. Quick Check:

   Colon required after allow keyword [OK]

Hint: Always put colon after allow before condition [OK]

Common Mistakes:

• Omitting colon after allow
• Confusing '=' and '=='
• Forgetting semicolon at line end

5. You want to write a rule that allows users to read their own profile data but only write if their profile contains a non-empty 'name' field. Which rule snippet correctly enforces this?

hard

A. match /profiles/{userId} {
allow read: if request.auth.uid == userId;
allow write: if request.resource.data.name != "";
}

B. match /profiles/{userId} {
allow read: if request.auth.uid == userId;
allow write: if request.auth.uid == userId || request.resource.data.name != "";
}

C. match /profiles/{userId} {
allow read: if request.auth.uid == userId;
allow write: if request.auth.uid == userId && request.resource.data.name != "";
}

D. match /profiles/{userId} {
allow read: if true;
allow write: if request.auth.uid == userId && request.resource.data.name == "";
}

Solution

1. Step 1: Understand read condition

   Users can read only their own profile: request.auth.uid == userId.

2. Step 2: Understand write condition

   Write allowed only if user owns profile AND 'name' field is not empty: request.auth.uid == userId && request.resource.data.name != "".

3. Step 3: Check options for correct logic

   match /profiles/{userId} { allow read: if request.auth.uid == userId; allow write: if request.auth.uid == userId && request.resource.data.name != ""; } matches both conditions correctly; others use wrong logic or allow too much.

4. Final Answer:

   match /profiles/{userId} { allow read: if request.auth.uid == userId; allow write: if request.auth.uid == userId && request.resource.data.name != ""; } -> Option C

5. Quick Check:

   Use AND for ownership and non-empty name [OK]

Hint: Use AND (&&) to combine ownership and data checks [OK]

Common Mistakes:

• Using OR (||) instead of AND (&&)
• Allowing write without ownership check
• Checking for empty string incorrectly