Q. Predicate W is called as

  • (A) weakest precondition
  • (B) weakest postcondition
  • (C) both a & b
  • (D) none of this
πŸ’¬ Discuss
βœ… Correct Answer: (A) weakest precondition

Q. Axiomatic semantics specifies each statement of a language in terms of asemis

  • (A) predicate translation
  • (B) predicate transformer
  • (C) predicate q
  • (D) none of this
πŸ’¬ Discuss
βœ… Correct Answer: (B) predicate transformer

Q. Function mem from the set of program identifiers ID to values

  • (A) condition
  • (B) predicate
  • (C) function
  • (D) state
πŸ’¬ Discuss
βœ… Correct Answer: (D) state

Q. I is invariant predicate that satisfies condtion

  • (A) i and b subset of asem (l,i)
  • (B) i and not b subset of p
  • (C) both a and b
  • (D) none of above
πŸ’¬ Discuss
βœ… Correct Answer: (C) both a and b

Q. Which of the following is true about implicit cursor?

  • (A) implicit cursor are used for sql that are not named
  • (B) developers should use implicit cursors with great care
  • (C) implicit cursors are no longer a feature in oracle
  • (D) none of above
πŸ’¬ Discuss
βœ… Correct Answer: (A) implicit cursor are used for sql that are not named

Q. Which of the following is not a feature of a cursor FOR loop

  • (A) record type declaration
  • (B) opening and parsing of sql statement
  • (C) fetches records from cursor
  • (D) requires exit condition to be defined
πŸ’¬ Discuss
βœ… Correct Answer: (B) opening and parsing of sql statement

Q. Which of the following are implicit cursor attributes?

  • (A) %found
  • (B) %too_many_rows
  • (C) %notfound
  • (D) %rowtype
πŸ’¬ Discuss
βœ… Correct Answer: (C) %notfound

Q. In left out,which of the following would be cuase an infinite loop occure in a simple loop?

  • (A) loop
  • (B) end loop
  • (C) if_then
  • (D) exit
πŸ’¬ Discuss
βœ… Correct Answer: (B) end loop

Q. Which of the following statement will produce an error?

  • (A) cursor action_cursor is
  • (B) select name,rate,action
  • (C) into action_record
  • (D) none of the above
πŸ’¬ Discuss
βœ… Correct Answer: (C) into action_record

Jump to