Na área de consulta do banco de dados, sem dúvida, a proveniência Semiring teve mais atenção recentemente. O adjetivo "proveniência" é apenas marketing, conectando-o a um grande corpo de pesquisa. No entanto, a idéia de que alguém possa ter uma base matemática muito mais elegante para linguagens de consulta de banco de dados é convincente. Meu ponto de vista pessoal é que a perspectiva de semi-contrato (que faz maravilhas na teoria formal da linguagem) deve ser complementada com a Relational Lattice .
Aqui está outra visão do que aconteceu na última década. (O orador mantém um registro de admissão contínua no PODS :).
Em nota menos teórica, vamos mencionar Dedalus e muitos entusiastas do Tutorial D ; ambas, no entanto, dificilmente são as idéias recentes.