We can also extend the language of temporal logic to include quantifiers over collections of values in databases.是什么意思_We can also extend the language of temporal logic to include quantifiers over collections of values in databases.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句